From 45192ccb907349f0ec51c3d2ac577920c4016119 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr>
Date: Tue, 28 Nov 2017 20:23:54 +0100
Subject: Allow to pass physical files to coqchk.

---
 checker/check.mli | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

(limited to 'checker/check.mli')

diff --git a/checker/check.mli b/checker/check.mli
index ef87e3efa..28ae385b5 100644
--- a/checker/check.mli
+++ b/checker/check.mli
@@ -14,6 +14,10 @@ type section_path = {
   basename : string;
 }
 
+type object_file =
+| PhysicalFile of physical_path
+| LogicalFile of section_path
+
 type logical_path = DirPath.t
 
 val default_root_prefix : DirPath.t
@@ -21,6 +25,6 @@ val default_root_prefix : DirPath.t
 val add_load_path : physical_path * logical_path -> unit
 
 val recheck_library :
-  norec:section_path list ->
-  admit:section_path list ->
-  check:section_path list -> unit
+  norec:object_file list ->
+  admit:object_file list ->
+  check:object_file list -> unit
-- 
cgit v1.2.3