From 42bed627c4a1c5a1ecf59d4865fc872b5eee7290 Mon Sep 17 00:00:00 2001
From: Vincent Laporte
Date: Fri, 7 Sep 2018 12:22:17 +0200
Subject: Retroknowledge: simpler parsing rules

---
 kernel/retroknowledge.mli | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'kernel/retroknowledge.mli')

diff --git a/kernel/retroknowledge.mli b/kernel/retroknowledge.mli
index 6b2c74e9df..1436f23739 100644
--- a/kernel/retroknowledge.mli
+++ b/kernel/retroknowledge.mli
@@ -48,6 +48,8 @@ type int31_field =
 type field =
   | KInt31 of int31_field
 
+val int31_field_of_string : string -> int31_field
+
 (** This type represent an atomic action of the retroknowledge. It
    is stored in the compiled libraries 
    As per now, there is only the possibility of registering things
-- 
cgit v1.2.3