Fix test

hkust-taco · Nov 29, 2024 · 0cc3189 · 0cc3189
1 parent 2d3f76d
commit 0cc3189
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/hkmc2/shared/src/test/mlscript/HkScratch.mls b/hkmc2/shared/src/test/mlscript/HkScratch.mls
@@ -1,11 +1,11 @@
 :js
-:d
 // :de
 // :sjs
 // :pt
 // :elt
 
-//│ Elab: { import member:Predef‹77› from /Users/parreaux/work/Research/code/mlscript-forks/hkmc2/shared/src/test/mlscript-compile/Predef.mjs; }
+:global
+:d