diff options
| author | Alasdair Armstrong | 2017-08-04 18:45:46 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-08-04 18:45:46 +0100 |
| commit | 6a68833bbd28044feeb3f2863021e4f5d6dbd951 (patch) | |
| tree | 87ce90e0468dcf095c10d3638e337c0aace1eab9 /src/reporting_basic.ml | |
| parent | 0e27492d76cf5ac1abdde6a45a4c05652ba74c2a (diff) | |
Various improvements for ASL generation
Fixed a bug where existential constraint's weren't used to solve function quantifiers correctly
Diffstat (limited to 'src/reporting_basic.ml')
| -rw-r--r-- | src/reporting_basic.ml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/reporting_basic.ml b/src/reporting_basic.ml index 5ff43208..69c5c084 100644 --- a/src/reporting_basic.ml +++ b/src/reporting_basic.ml @@ -220,5 +220,6 @@ let report_error e = let (m1, verb_pos, pos_l, m2) = dest_err e in (print_err_internal verb_pos false pos_l m1 m2; exit 1) - - +let print_error e = + let (m1, verb_pos, pos_l, m2) = dest_err e in + print_err_internal verb_pos false pos_l m1 m2 |