diff options
Diffstat (limited to '')
| -rw-r--r-- | src/Pure.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Pure.ml b/src/Pure.ml index f20cdf50..dc35a181 100644 --- a/src/Pure.ml +++ b/src/Pure.ml @@ -479,7 +479,7 @@ type expression = ... ``` *) - | Switch of typed_rvalue * mplace option * switch_body + | Switch of expression * switch_body | Meta of meta * expression (** Meta-information *) and call = { |