[serlib] [ltac2] Test for Ltac2 serialization

This fails for now, as we need to implement support for yet another generic arguments setup. To be fixed under-demand.
rocq-archive · May 28, 2024 · 62bc48e · 62bc48e
1 parent 08ade61
commit 62bc48e
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/tests/genarg/dune b/tests/genarg/dune
@@ -168,8 +168,8 @@
  (action (run ./test_roundtrip %{input})))
 
 ; Disabled until we implement ltac2 extension serialization
-;
-; (rule
-;  (alias runtest)
-;  (deps (:input ltac2.v))
-;  (action (run ./test_roundtrip %{input})))
+
+(rule
+ (alias runtest)
+ (deps (:input ltac2.v))
+ (action (run ./test_roundtrip %{input})))