Fix type definitions for g1 & g2 elements.

2023-12-08 16:58:12 +01:00
parent 825e65d7a3
commit 92488e535a
1 changed files with 2 additions and 2 deletions
--- 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,