fix VampIR runtime

anoma · Jul 3, 2023 · 59a6512 · 59a6512
1 parent 91055b8
commit 59a6512
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/package.yaml b/package.yaml
@@ -29,7 +29,7 @@ extra-source-files:
   - juvix-stdlib/**/*.juvix
   - runtime/include/**/*.h
   - runtime/**/*.a
-  - runtime/vampir/*.pir
+  - runtime/src/vampir/*.pir
 
 dependencies:
   - aeson == 2.0.*

diff --git a/runtime/src/vampir/stdlib.pir b/runtime/src/vampir/stdlib.pir
@@ -14,7 +14,7 @@ def msb n x = {
 };
 
 def isNegativeN n x = 1 - msb n (x + 2^(n - 1));
-def isNegative x = isNegativeN integerBits;
+def isNegative x = isNegativeN integerBits x;
 
 def add x y = x + y;
 def sub x y = x - y;