diff options
Diffstat (limited to 'src/Substitute.ml')
| -rw-r--r-- | src/Substitute.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Substitute.ml b/src/Substitute.ml index 7cb0e8c2..c76f1da4 100644 --- a/src/Substitute.ml +++ b/src/Substitute.ml @@ -121,7 +121,7 @@ let type_decl_get_instantiated_variants_fields_rtypes (def : T.type_decl) variants | T.Struct fields -> [ (None, fields) ] | T.Opaque -> - raise (Failure "Can't retrieve the variants of an opaque type") + raise (Failure ("Can't retrieve the variants of an opaque type: " ^ Names.name_to_string def.name)) in List.map (fun (id, fields) -> |