From 88baf39c17116f25a1b2c95a4689c215cc793afd Mon Sep 17 00:00:00 2001 From: Pierre Roux Date: Sun, 9 Jun 2024 16:08:10 +0200 Subject: [PATCH] Adapt to https://github.com/coq/coq/pull/19149 --- LiveVerif/src/LiveVerif/LiveProgramLogic.v | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/LiveVerif/src/LiveVerif/LiveProgramLogic.v b/LiveVerif/src/LiveVerif/LiveProgramLogic.v index e2bc4d0f8..5bdb51797 100644 --- 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).