diff options
Diffstat (limited to 'src/PureToExtract.ml')
| -rw-r--r-- | src/PureToExtract.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/PureToExtract.ml b/src/PureToExtract.ml index 5313569a..360ef4a6 100644 --- a/src/PureToExtract.ml +++ b/src/PureToExtract.ml @@ -35,9 +35,10 @@ type name_formatter = { char_name : string; int_name : integer_type -> string; str_name : string; - field_name : name -> string option -> string; + field_name : name -> FieldId.id -> string option -> string; (** Inputs: - type name + - field id - field name Note that fields don't always have names, but we still need to |