From 1b4abb8fdd81f6de2166ef3f064a77fd5622fe83 Mon Sep 17 00:00:00 2001
From: tslil <tslil@posteo.de>
Date: Wed, 6 May 2026 11:21:22 +0100
Subject: clean up examples vs tests

---
 examples/one_simplex.makkai | 2 --
 1 file changed, 2 deletions(-)

(limited to 'examples/one_simplex.makkai')

diff --git a/examples/one_simplex.makkai b/examples/one_simplex.makkai
index 590cf04..f7e7bff 100644
--- a/examples/one_simplex.makkai
+++ b/examples/one_simplex.makkai
@@ -6,8 +6,6 @@ let signature Graph = theory {
 let set Empty = variant[]
 let set Unit = record{}
 let element pt : Unit = {}
-let set F1 = variant [ one0 : Unit ]
-let set F2 = variant [ two0 : Unit | two1 : Unit ]
 let set F3 = variant [ three0 : Unit | three1 : Unit  | three2: Unit ]
 
 let instance oneSimplex :: Graph = {
-- 
cgit v1.3.1