From e4ae7d3d2dc8751af52f86f3d785ea486139816f Mon Sep 17 00:00:00 2001
From: gareuselesinge <gareuselesinge@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Thu, 12 Sep 2013 12:45:19 +0000
Subject: VernacList handling was lost in STM merge

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16769 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 toplevel/vernac.ml | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'toplevel/vernac.ml')

diff --git a/toplevel/vernac.ml b/toplevel/vernac.ml
index 888c3411d..6051b65a4 100644
--- a/toplevel/vernac.ml
+++ b/toplevel/vernac.ml
@@ -263,6 +263,9 @@ let rec vernac_com verbosely checknav (loc,com) =
 	    raise reraise
 	end
 
+    | VernacList l ->
+        List.iter (fun (_,v) -> interp v) l
+
     | v when !just_parsing -> ()
 
     | v -> Stm.process_transaction verbosely (loc,v)
-- 
cgit v1.2.3