From 9b00dc724363ac7b0a31687f14cc3bb2f2460f9b Mon Sep 17 00:00:00 2001
From: Simon Van Casteren <simonvancasteren@localhost.localdomain>
Date: Wed, 11 Dec 2019 22:56:29 +0100
Subject: Integrated getInfo into LSP

---
 src/getinfo.sig | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'src/getinfo.sig')

diff --git a/src/getinfo.sig b/src/getinfo.sig
index 317b7e79..334e19f1 100644
--- a/src/getinfo.sig
+++ b/src/getinfo.sig
@@ -26,6 +26,11 @@
  *)
 
 signature GET_INFO = sig 
-    val getInfo: string (* file:row:col *) -> Print.PD.pp_desc
+    val getInfo:
+        ElabEnv.env ->
+        Elab.str' ->
+        string (* fileName *) ->
+        { line: int , character: int} ->
+        Print.PD.pp_desc
 end
     
-- 
cgit v1.2.3