summaryrefslogtreecommitdiff
path: root/compiler/Assumed.ml
diff options
context:
space:
mode:
Diffstat (limited to 'compiler/Assumed.ml')
-rw-r--r--compiler/Assumed.ml1
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/Assumed.ml b/compiler/Assumed.ml
index 94fb7a72..79f6b0d4 100644
--- a/compiler/Assumed.ml
+++ b/compiler/Assumed.ml
@@ -85,6 +85,7 @@ module Sig = struct
{ regions_outlive = []; types_outlive = []; trait_type_constraints = [] }
in
{
+ is_unsafe = false;
generics;
preds;
parent_params_info = None;