diff options
Diffstat (limited to 'src/ast_util.ml')
| -rw-r--r-- | src/ast_util.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/ast_util.ml b/src/ast_util.ml index 27ae93e8..909fa392 100644 --- a/src/ast_util.ml +++ b/src/ast_util.ml @@ -182,6 +182,7 @@ module IdSet = Set.Make(Id) module KBindings = Map.Make(Kid) module KidSet = Set.Make(Kid) module NexpSet = Set.Make(Nexp) +module NexpMap = Map.Make(Nexp) let rec nexp_identical nexp1 nexp2 = (Nexp.compare nexp1 nexp2 = 0) |