fix typos from @bboston7

Co-authored-by: Brett Boston <[email protected]>
GaloisInc · Oct 5, 2023 · 59b9adb · 59b9adb
1 parent 978b29e
commit 59b9adb
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/heapster-saw/examples/SpecPrims.cry b/heapster-saw/examples/SpecPrims.cry
@@ -2,11 +2,11 @@ module SpecPrims where
 
 /* Specification primitives */
 
-// The specification that holds for for some element of type a
+// The specification that holds for some element of type a
 exists : {a} a
 exists = error "Cannot run exists"
 
-// The specification that holds for for all elements of type a
+// The specification that holds for all elements of type a
 forall : {a} a
 forall = error "Cannot run forall"