From 6c5cf09f2436a2f5eacc3a58e2ea02fe09abe0b0 Mon Sep 17 00:00:00 2001
From: Arnaud Spiwack
Date: Thu, 23 Oct 2014 15:03:34 +0200
Subject: Proofview: forgot to change an exception after refactoring in (
 9f51aafebd5f3a00dabfe056772a300830b3c430 )

---
 proofs/proofview.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/proofs/proofview.ml b/proofs/proofview.ml
index 92308d2111..a4ccdd687e 100644
--- a/proofs/proofview.ml
+++ b/proofs/proofview.ml
@@ -414,7 +414,7 @@ let fold_left2_goal i s l =
     return r
   end
   begin function
-      | SizeMismatch _ -> tclZERO (SizeMismatch (CList.length initial.comb,CList.length l))
+      | Proof.List.SizeMismatch -> tclZERO (SizeMismatch (CList.length initial.comb,CList.length l))
       | reraise -> tclZERO reraise
     end
 
-- 
cgit v1.2.3