diff --git a/compiler/minils/sigali/sigalimain.ml b/compiler/minils/sigali/sigalimain.ml
index 5f93236..234d051 100644
--- a/compiler/minils/sigali/sigalimain.ml
+++ b/compiler/minils/sigali/sigalimain.ml
@@ -61,7 +61,7 @@ let current_inputs : IdentSet.t ref = ref IdentSet.empty
 let current_locals : IdentSet.t ref = ref IdentSet.empty
 
 let translate_static_exp se =
-  match se.se_desc with
+  match (Static.simplify QualEnv.empty se).se_desc with
   | Sint(v) -> Cint(v)
   | Sfloat(_) -> raise Untranslatable
   | Sbool(true)