remove @?

anoma · Dec 3, 2024 · ff6d964 · ff6d964
1 parent 561425e
commit ff6d964
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/Package.juvix b/Package.juvix
@@ -3,7 +3,7 @@ module Package;
 import PackageDescription.V2 open;
 
 package : Package :=
-  defaultPackage@?{
+  defaultPackage@{
     name := "stdlib";
     version := mkVersion 0 0 1;
     dependencies := []

diff --git a/Stdlib/Cairo/Ec.juvix b/Stdlib/Cairo/Ec.juvix
@@ -60,7 +60,7 @@ double (point : Point) : Point :=
             slope := (3 * x * x + StarkCurve.ALPHA) / (2 * y);
             r_x := slope * slope - x - x;
             r_y := slope * (x - r_x) - y;
-          in mkPoint@?{
+          in mkPoint@{
                x := r_x;
                y := r_y;
              };

diff --git a/test/Package.juvix b/test/Package.juvix
@@ -3,7 +3,7 @@ module Package;
 import PackageDescription.V2 open;
 
 package : Package :=
-  defaultPackage@?{
+  defaultPackage@{
     name := "stdlib-test";
     dependencies :=
       [