diff options
| author | Brian Campbell | 2019-03-06 17:07:09 +0000 |
|---|---|---|
| committer | Brian Campbell | 2019-03-07 11:59:26 +0000 |
| commit | dc60b5018596669090b5d6761f24b2e8801546e9 (patch) | |
| tree | 397783f08d1c0828d3650f04df5558e34379ed31 /src/constant_propagation.mli | |
| parent | ec1b88c90bea062f0658fc1efad8aa00005e4c0a (diff) | |
Simplify handling of referenced variables in constant propagation
Diffstat (limited to 'src/constant_propagation.mli')
| -rw-r--r-- | src/constant_propagation.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/constant_propagation.mli b/src/constant_propagation.mli index 291ec056..1537b927 100644 --- a/src/constant_propagation.mli +++ b/src/constant_propagation.mli @@ -65,3 +65,5 @@ val const_prop : tannot exp Bindings.t -> tannot exp -> tannot exp * tannot exp Bindings.t + +val referenced_vars : tannot exp -> IdSet.t |