1 files changed, 0 insertions, 28 deletions
diff --git a/test/golden/indefinite-terms/generating tasks.golden b/test/golden/indefinite-terms/generating tasks.golden
deleted file mode 100644
index 6cebfc4..0000000
--- a/test/golden/indefinite-terms/generating tasks.golden
+++ /dev/null
@@ -1,28 +0,0 @@
-[ Task
-    { taskDirectness = Direct
-    , taskHypotheses = []
-    , taskConjectureLabel = Marker "indefinite_test_forall"
-    , taskLocation = Location
-        { locFile = "test/examples/indefinite-terms.tex"
-        , locLine = 1
-        , locColumn = 1
-        }
-    , taskConjecture = PropositionalConstant IsTop
-    }
-, Task
-    { taskDirectness = Direct
-    , taskHypotheses =
-        [ Hypothesis Marker "indefinite_test_forall" Quantified Universally
-            ( Scope
-                ( Connected Implication ( PropositionalConstant IsTop ) ( PropositionalConstant IsTop ) )
-            )
-        ]
-    , taskConjectureLabel = Marker "indefinite_test_exists"
-    , taskLocation = Location
-        { locFile = "test/examples/indefinite-terms.tex"
-        , locLine = 5
-        , locColumn = 1
-        }
-    , taskConjecture = PropositionalConstant IsTop
-    }
-]
-\ No newline at end of file