From 59a6512d25d7bb4d8a0f06c68d241ad0791f6a5b Mon Sep 17 00:00:00 2001
From: Lukasz Czajka <lukasz@heliax.dev>
Date: Mon, 3 Jul 2023 12:00:50 +0200
Subject: [PATCH] fix VampIR runtime

---
 package.yaml                  | 2 +-
 runtime/src/vampir/stdlib.pir | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/package.yaml b/package.yaml
index e205039e5a..5f62c4db2a 100644
--- 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
index 2f5490f3b9..5cc3e248f3 100644
--- 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;