From dedfcf178426d8e80f9a1334b0cb05d6d5487d6d Mon Sep 17 00:00:00 2001 From: Guillaume Bury Date: Mon, 3 Jul 2017 15:32:27 +0200 Subject: [PATCH] Typo in README (again...) --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 9fbe7905..8e1d42b7 100644 --- a/README.md +++ b/README.md @@ -86,7 +86,7 @@ module E = Msat.Sat.Expr (* expressions *) module F = Msat.Tseitin.Make(E) (* We create here two distinct atoms *) -let a = E.fresh () (* A fresh is always distinct from any other atom *) +let a = E.fresh () (* A fresh atom is always distinct from any other atom *) let b = E.make 1 (* Atoms can be created from integers *) (* Let's create some formulas *)