diff options
Diffstat (limited to 'kernel/environ.ml')
| -rw-r--r-- | kernel/environ.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/kernel/environ.ml b/kernel/environ.ml index 5cd8cc801c..3608e969fe 100644 --- a/kernel/environ.ml +++ b/kernel/environ.ml @@ -223,3 +223,4 @@ type unsafe_judgment = { let cast_of_judgment = function | { uj_val = DOP2 (Cast,_,_) as c } -> c | { uj_val = c; uj_type = ty } -> mkCast c ty + |