From 7f816f00fed5ee7c7e94bd5f02a88880cdfa96aa Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Sat, 6 May 2017 11:41:33 +0200
Subject: Using an algebraic type for distinguishing toplevel input from
 location in file.

---
 API/API.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'API/API.mli')

diff --git a/API/API.mli b/API/API.mli
index 8b0bef48c9..a3701621e4 100644
--- a/API/API.mli
+++ b/API/API.mli
@@ -4703,7 +4703,7 @@ sig
 
     type coq_parsable
 
-    val parsable : ?file:string -> char Stream.t -> coq_parsable
+    val parsable : ?file:Loc.source -> char Stream.t -> coq_parsable
     val action : 'a -> action
     val entry_create : string -> 'a entry
     val entry_parse : 'a entry -> coq_parsable -> 'a
-- 
cgit v1.2.3