diff options
Diffstat (limited to 'src/reduce_local.sig')
-rw-r--r-- | src/reduce_local.sig | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/reduce_local.sig b/src/reduce_local.sig index 3c76263a..64545a8e 100644 --- a/src/reduce_local.sig +++ b/src/reduce_local.sig @@ -30,5 +30,6 @@ signature REDUCE_LOCAL = sig val reduce : Core.file -> Core.file + val reduceExp : Core.exp -> Core.exp end |