Adapt the external equivalence examples

potassco · Aug 22, 2024 · 41dcaac · 41dcaac
1 parent 4a7eee9
commit 41dcaac
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/res/examples/external_equivalence/cover/cover.ug b/res/examples/external_equivalence/cover/cover.ug
@@ -1,6 +1,6 @@
-input: n$i.
+input: n -> integer.
 input: s/2.
 
 output: in_cover/1.
 
-assumption: n$i >= 0.
+assumption: n >= 0.
diff --git a/res/examples/external_equivalence/primes/complex/primes.ug b/res/examples/external_equivalence/primes/complex/primes.ug
@@ -1,6 +1,6 @@
-input: a$i.
-input: b$i.
+input: a -> integer.
+input: b -> integer.
 
-assumption: a$i > 1.
+assumption: a > 1.
 
 output: prime/1.