diff options
| -rw-r--r-- | proofs/proofview.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 |