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