diff options
| -rw-r--r-- | checker/values.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/checker/values.ml b/checker/values.ml index f8244e06d2..974d3431e0 100644 --- a/checker/values.ml +++ b/checker/values.ml @@ -201,7 +201,7 @@ let v_cb = v_tuple "constant_body" v_cst_def; v_cst_type; Any; - v_cstrs; + v_computation v_cstrs; Any; v_bool|] |