From d882ffb8256a5bb36e63228a11d6cee7b1854a60 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Mon, 9 Oct 2023 16:12:12 +0200 Subject: [PATCH] Update examples/example_abs_evars.v --- examples/example_abs_evars.v | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/examples/example_abs_evars.v b/examples/example_abs_evars.v index a4f9940a9..f9879ee37 100644 --- 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. *)