1 files changed, 2 insertions, 1 deletions
diff --git a/backend/RTLgen.v b/backend/RTLgen.v
index 243d7b7c..e65db93d 100644
--- a/backend/RTLgen.v
+++ b/backend/RTLgen.v
@@ -687,7 +687,8 @@ Definition transl_function (f: CminorSel.function) : Errors.res RTL.function :=
                    rparams
                    f.(CminorSel.fn_stackspace)
                    s.(st_code)
-                   nentry)
+                   nentry
+                   (mkuntrustedanalysis None None))
   end.
 
 Definition transl_fundef := transf_partial_fundef transl_function.