diff options
Diffstat (limited to 'src/extra_pervasives.ml')
| -rw-r--r-- | src/extra_pervasives.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/extra_pervasives.ml b/src/extra_pervasives.ml index a7808a95..8001c647 100644 --- a/src/extra_pervasives.ml +++ b/src/extra_pervasives.ml @@ -49,4 +49,4 @@ (**************************************************************************) let unreachable l pos msg = - raise (Reporting_basic.err_unreachable l pos msg) + raise (Reporting.err_unreachable l pos msg) |