remove namespace from code snippet

bsubercaseaux · Jun 9, 2024 · c3e995c · c3e995c
1 parent 394a64e
commit c3e995c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ITP/geometry.tex b/ITP/geometry.tex
@@ -26,7 +26,7 @@
 
 \begin{lstlisting}
 theorem hole_6_theorem : ∀ (pts : Finset Point),
-    Point.SetInGenPos pts → pts.card = 30 → HasEmptyKGon 6 pts
+    SetInGenPos pts → pts.card = 30 → HasEmptyKGon 6 pts
 \end{lstlisting}
 
 At the root  of the encoding of Heule and Scheucher is the idea that