From 8b18c0da053e069b5a2d9fbf06f45eae2f05a029 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 7 Sep 2023 15:28:06 +0200
Subject: Map some globals like u32::MAX to standard definitions

---
 compiler/dune | 1 +
 1 file changed, 1 insertion(+)

(limited to 'compiler/dune')

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
-- 
cgit v1.2.3