From 34b1cda7602f75fdac7719b40d5ee9010a20c49b Mon Sep 17 00:00:00 2001
From: Guillaume Bury <guillaume.bury@gmail.com>
Date: Fri, 1 Jul 2016 09:34:34 +0200
Subject: [PATCH] Updated README

---
 README.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index cf389248..0eec23c7 100644
--- a/README.md
+++ b/README.md
@@ -38,8 +38,8 @@ as shown in the following code :
     module Sat = Msat.Sat.Make()
 
     (* We create here two distinct atoms *)
-    let a = Sat.new_atom () (* A 'new_atom' is always distinct from any other atom *)
-    let b = Sat.make 1      (* Atoms can be created from integers *)
+    let a = Msat.Sat.Fsat.fresh ()    (* A 'new_atom' is always distinct from any other atom *)
+    let b = Msat.Sat.Fsat.make 1      (* Atoms can be created from integers *)
 
     (* Let's create some formulas *)
     let p = F.make_atom a