From 4c97e4ce19ca4c387039cfdcb4f24658100230b0 Mon Sep 17 00:00:00 2001
From: Matthieu Sozeau
Date: Tue, 1 Jul 2014 22:50:37 +0200
Subject: Add toplevel commands to declare global universes and constraints.

---
 stm/vernac_classifier.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'stm')

diff --git a/stm/vernac_classifier.ml b/stm/vernac_classifier.ml
index 05c8fdd0d5..12d3a37878 100644
--- a/stm/vernac_classifier.ml
+++ b/stm/vernac_classifier.ml
@@ -139,6 +139,7 @@ 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
+    | VernacUniverse _ | VernacConstraint _
     | VernacBeginSection _
     | VernacCanonical _ | VernacCoercion _ | VernacIdentityCoercion _
     | VernacAddLoadPath _ | VernacRemoveLoadPath _ | VernacAddMLPath _
-- 
cgit v1.2.3