Tactic parser (tamarin-prover#547)

Correcting an error in the help message of Tamarin (it said the default heuristic was C instead of s) Co-authored-by: Maiwenn Racouchot <mracouch@maiwenn.loria.fr>
yavivanov · Jun 9, 2023 · 3e88255 · 3e88255
1 parent 0dfcf68
commit 3e88255
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/lib/theory/src/Theory/Constraint/System.hs b/lib/theory/src/Theory/Constraint/System.hs
@@ -680,8 +680,7 @@ prettyGoalRanking ranking = case ranking of
     compareRankings (OracleRanking _) (OracleRanking _) = True
     compareRankings (OracleSmartRanking _) (OracleSmartRanking _) = True
     compareRankings (InternalTacticRanking _ ) (InternalTacticRanking _ ) = True
-    -- compareRankings r1 r2 = r1 == r2
-    compareRankings _ _ = True
+    compareRankings r1 r2 = r1 == r2
 
 
 ------------------------------------------------------------------------------