From 1c46875f39756e1bd12c5d6009391a2b5927826f Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Sun, 15 Feb 2015 18:35:32 +0100 Subject: Reset "section name" works again (Close #3933) --- stm/vernac_classifier.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/stm/vernac_classifier.ml b/stm/vernac_classifier.ml index e9302bb73..81fad1379 100644 --- a/stm/vernac_classifier.ml +++ b/stm/vernac_classifier.ml @@ -151,8 +151,8 @@ let rec classify_vernac e = let ids = List.map snd (CList.map_filter (fun (x,_) -> x) l) in VtSideff ids, VtLater | VernacCombinedScheme ((_,id),_) -> VtSideff [id], VtLater + | VernacBeginSection (_,id) -> VtSideff [id], VtLater | VernacUniverse _ | VernacConstraint _ - | VernacBeginSection _ | VernacCanonical _ | VernacCoercion _ | VernacIdentityCoercion _ | VernacAddLoadPath _ | VernacRemoveLoadPath _ | VernacAddMLPath _ | VernacChdir _ -- cgit v1.2.3