Update tests/test_libobject_A.v

LPCIC · Dec 1, 2023 · a1fe869 · a1fe869
1 parent 262f852
commit a1fe869
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/test_libobject_A.v b/tests/test_libobject_A.v
@@ -1,6 +1,6 @@
 From elpi Require Import elpi.
 
-#[phase="execution"] Elpi Db a.db lp:{{
+#[interp] Elpi Db a.db lp:{{
   pred a o:term.
   :name "init" a {{ 0 }}.
   a {{ 1 }}.