Adapt to coq/coq#19149

mit-plv · Jun 9, 2024 · 88baf39 · 88baf39
1 parent 5869477
commit 88baf39
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/LiveVerif/src/LiveVerif/LiveProgramLogic.v b/LiveVerif/src/LiveVerif/LiveProgramLogic.v
@@ -1455,4 +1455,4 @@ Notation ".* */ x" :=
 Notation "'fun_correct!' f" := (program_logic_goal_for (ident_to_string f) f)
   (at level 10, f name, only parsing).
 
-Notation ".* */ //" := True (only parsing).
+Notation ".* */ //" := True (at level 0, only parsing).