diff --git a/tests/test_libobject_A.v b/tests/test_libobject_A.v
index 3e38d6cd2..b3253daba 100644
--- 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 }}.