From ed6162d7b7179652e82a83918c7391e9c29c950e Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Fri, 24 May 2019 17:11:18 +0100
Subject: Add a :thin_slice command to isail to isolate a given set of
 functions

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

(limited to 'src/slice.mli')

diff --git a/src/slice.mli b/src/slice.mli
index 04f140fe..0c15defb 100644
--- a/src/slice.mli
+++ b/src/slice.mli
@@ -68,4 +68,4 @@ val graph_of_ast : Type_check.tannot defs -> Graph.Make(Node).graph
 
 val dot_of_ast : out_channel -> Type_check.tannot defs -> unit
 
-val filter_ast : IdSet.t -> Graph.Make(Node).graph -> Type_check.tannot defs -> Type_check.tannot defs
+val filter_ast : Set.Make(Node).t -> Graph.Make(Node).graph -> Type_check.tannot defs -> Type_check.tannot defs
-- 
cgit v1.2.3