Add test and fix pre-commit

anoma · May 24, 2023 · 8c567fb · 8c567fb
1 parent c47686e
commit 8c567fb
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/package.json b/package.json
@@ -2674,4 +2674,4 @@
     "run": "^1.4.0",
     "temp": "^0.9.4"
   }
-}
+}
diff --git a/test/B.juvix b/test/B.juvix
@@ -1,6 +1,6 @@
 module B;
 
+import A;
 axiom B : Type;
 
-
 end;