Fix smoke test

anoma · Apr 11, 2023 · 848017d · 848017d
1 parent e020eee
commit 848017d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/smoke/Commands/dev/core.smoke.yaml b/tests/smoke/Commands/dev/core.smoke.yaml
@@ -22,7 +22,7 @@ tests:
       - from-concrete
       - --eval
       - --transforms
-      - nat-to-int
+      - nat-to-primint
     args:
       - positive/Internal/LiteralInt.juvix
     stdout: |