From ae455fa3aa29c872c9c5b2736fff861afebcd051 Mon Sep 17 00:00:00 2001
From: ckeller <ckeller@users.noreply.github.com>
Date: Fri, 15 Mar 2019 11:23:55 +0100
Subject: V8.9 (#43)

* New syntax for implicit arguments

* Towards 8.9: problems with Micromega plugin

* Move to _CoqProject

* Back to name Makefile

* Switch to Makefile.local instead of -extra

* The compilation issue is a Coq bug

* Ok with 8.9

* INSTALL with 8.9

* Everything ok with 8.9
---
 src/trace/smtCertif.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/trace/smtCertif.ml')

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
-- 
cgit