diff options
Diffstat (limited to 'src/trace/smtCertif.ml')
| -rw-r--r-- | src/trace/smtCertif.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/trace/smtCertif.ml b/src/trace/smtCertif.ml index 6ce6997..27b56c3 100644 --- a/src/trace/smtCertif.ml +++ b/src/trace/smtCertif.ml @@ -324,7 +324,7 @@ let to_string r = (* To use <print_certif>, pass, as first and second argument, <Form.to_smt> and <Atom.to_string> *) -let print_certif form_to_smt atom_to_string c where= +let print_certif form_to_smt atom_to_string c where = let rec start c = match c.prev with | None -> c |