Forgotten theory before-adding-ifthenelse
authorJoachim Breitner <mail@joachim-breitner.de>
Thu, 15 Jan 2015 12:10:46 +0000 (12:10 +0000)
committerJoachim Breitner <mail@joachim-breitner.de>
Thu, 15 Jan 2015 12:10:46 +0000 (12:10 +0000)
ROOT

diff --git a/ROOT b/ROOT
index 68d136d..a8d8455 100644 (file)
--- a/ROOT
+++ b/ROOT
@@ -33,7 +33,7 @@ session LaunchburyComplete (AFP) in "Launchbury" = "HOLCF-Nominal2" +
 session Arity (AFP) in "Launchbury" = "HOLCF-Nominal2" +
   options [document_variants = arity, document = pdf, document_graph, document_output = "output" ]
   theories
-    "ArityAnalysisImpl"
+    "ArityAnalysisImplCorrect"
     "TrivialArityAnal"
     "ArityEtaExpandCorrect"
     "CardinalityEtaExpandCorrect"