From 736842d4cde09c667837dee8a633ff98ecf6a820 Mon Sep 17 00:00:00 2001
From: Vincent Laporte
Date: Mon, 10 Sep 2018 13:20:39 +0200
Subject: Register: simpler syntax

---
 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 1fc3cfb817..0a2ef5300e 100644
--- a/kernel/retroknowledge.mli
+++ b/kernel/retroknowledge.mli
@@ -47,6 +47,8 @@ type field =
 
 val int31_field_of_string : string -> int31_field
 
+val int31_path : DirPath.t
+
 (** 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