diff options
author | Son Ho | 2023-09-07 15:28:06 +0200 |
---|---|---|
committer | Son Ho | 2023-09-07 15:28:06 +0200 |
commit | 8b18c0da053e069b5a2d9fbf06f45eae2f05a029 (patch) | |
tree | efc49cd0b669fc66e88e2b13a5797c92e260edc7 /compiler/dune | |
parent | e18160aa7a796989cc6ff7c953ee088023a3ea93 (diff) |
Map some globals like u32::MAX to standard definitions
Diffstat (limited to 'compiler/dune')
-rw-r--r-- | compiler/dune | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/dune b/compiler/dune index db099c3c..2f5a0a44 100644 --- a/compiler/dune +++ b/compiler/dune @@ -22,6 +22,7 @@ Expressions ExpressionsUtils Extract + ExtractAssumed ExtractBase FunsAnalysis Identifiers |