diff options
| author |  Arnaud Spiwack <arnaud@spiwack.net> | 2014-10-23 15:03:34 +0200 |
|---|---|---|
| committer | Arnaud Spiwack <arnaud@spiwack.net> | 2014-10-23 16:02:45 +0200 |
| commit | 6c5cf09f2436a2f5eacc3a58e2ea02fe09abe0b0 (patch) | |
| tree | 96591f880c991456a8501b233dc4487475962a27 /proofs | |
| parent | 6bbda9a484da0c355254c30c0e3230d750d70f81 (diff) | |
Proofview: forgot to change an exception after refactoring in ( 9f51aafebd5f3a00dabfe056772a300830b3c430 )
Diffstat (limited to 'proofs')
| -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 92308d211..a4ccdd687 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 |