diff options
Diffstat (limited to 'src/especialize.sig')
-rw-r--r-- | src/especialize.sig | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/especialize.sig b/src/especialize.sig index ad2d15da..135e3a00 100644 --- a/src/especialize.sig +++ b/src/especialize.sig @@ -29,6 +29,6 @@ signature ESPECIALIZE = sig val specialize : Core.file -> Core.file - val functionInside : Core.con -> bool + val functionInside : IntBinarySet.set -> Core.con -> bool end |