Update examples/example_abs_evars.v

LPCIC · Oct 9, 2023 · d882ffb · d882ffb
1 parent e5dc833
commit d882ffb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/examples/example_abs_evars.v b/examples/example_abs_evars.v
@@ -14,7 +14,7 @@ and replace the placeholders by the bound variables.
 
 This example is interesting because it uses the constraint store
 to attach data to holes, in particular if the hole has been seen before,
-and if so, and attach to each hole a unique number.
+and to attach to each hole a unique number.
 
 *)