From 92488e535af3e122f3f5928ad5b710849dba0987 Mon Sep 17 00:00:00 2001
From: KtorZ <matthias.benkort@gmail.com>
Date: Fri, 8 Dec 2023 16:58:12 +0100
Subject: [PATCH] Fix type definitions for g1 & g2 elements.

---
 crates/aiken-lang/src/builtins.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/crates/aiken-lang/src/builtins.rs b/crates/aiken-lang/src/builtins.rs
index b35f6628..fbdd81e6 100644
--- a/crates/aiken-lang/src/builtins.rs
+++ b/crates/aiken-lang/src/builtins.rs
@@ -128,7 +128,7 @@ pub fn prelude(id_gen: &IdGenerator) -> TypeInfo {
         G1_ELEMENT.to_string(),
         TypeConstructor {
             parameters: vec![],
-            tipo: int(),
+            tipo: g1_element(),
             location: Span::empty(),
             module: "".to_string(),
             public: true,
@@ -140,7 +140,7 @@ pub fn prelude(id_gen: &IdGenerator) -> TypeInfo {
         G2_ELEMENT.to_string(),
         TypeConstructor {
             parameters: vec![],
-            tipo: int(),
+            tipo: g2_element(),
             location: Span::empty(),
             module: "".to_string(),
             public: true,