From 291d493cb3cd5b6c6dd6f9e60c93501deede68c2 Mon Sep 17 00:00:00 2001
From: Guillaume Bury <guillaume.bury@gmail.com>
Date: Thu, 24 Nov 2016 17:01:24 +0100
Subject: [PATCH] README update

---
 README.md | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 001b547e0..c6ce284db 100644
--- a/README.md
+++ b/README.md
@@ -27,6 +27,7 @@ Manually:
 Currently the following parsers are working:
 
 - dimacs
+- iCNF
 - smtlib
 - tptp
 - zf (zipperposition format)
@@ -45,7 +46,7 @@ directly outputs temrs in the desired form, without needing to
 translate the parser output into the specific AST used in a project.
 
 Parsers (actually, the functors which generates parsers) typically takes
-three module arguments:
+four module arguments:
 
 - A representation of locations in files. This is used for reporting
   parsing and lexing errors, but also to attach to each expression parsed