AST.Util: missed ShowOptions case

FStarLang · Oct 14, 2024 · 75d71f8 · 75d71f8
1 parent 4d38764
commit 75d71f8
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/parser/FStarC.Parser.AST.Util.fst b/src/parser/FStarC.Parser.AST.Util.fst
@@ -462,6 +462,7 @@ let eq_lift (t1 t2: lift) =
 
 let eq_pragma (t1 t2: pragma) =
   match t1, t2 with
+  | ShowOptions, ShowOptions -> true
   | SetOptions s1, SetOptions s2 -> s1 = s2
   | ResetOptions s1, ResetOptions s2 -> eq_option (fun s1 s2 -> s1 = s2) s1 s2
   | PushOptions s1, PushOptions s2 -> eq_option (fun s1 s2 -> s1 = s2) s1 s2