diff options
Diffstat (limited to 'src/value.ml')
| -rw-r--r-- | src/value.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/value.ml b/src/value.ml index cb55aa79..76d02850 100644 --- a/src/value.ml +++ b/src/value.ml @@ -110,6 +110,7 @@ let coerce_bit = function | _ -> assert false let coerce_ctor = function + | V_ctor (str, [V_tuple vals]) -> (str, vals) | V_ctor (str, vals) -> (str, vals) | _ -> assert false |