From 8c567fba6397a842d62602765be9ef5582f44cc6 Mon Sep 17 00:00:00 2001
From: Jonathan Cubides <jonathan.cubides@uib.no>
Date: Wed, 24 May 2023 20:49:59 +0200
Subject: [PATCH] Add test and fix pre-commit

---
 package.json | 2 +-
 test/B.juvix | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/package.json b/package.json
index 5248bd8..721c514 100644
--- a/package.json
+++ b/package.json
@@ -2674,4 +2674,4 @@
     "run": "^1.4.0",
     "temp": "^0.9.4"
   }
-}
\ No newline at end of file
+}
diff --git a/test/B.juvix b/test/B.juvix
index 4cb30cb..0bb441b 100644
--- a/test/B.juvix
+++ b/test/B.juvix
@@ -1,6 +1,6 @@
 module B;
 
+import A;
 axiom B : Type;
 
-
 end;