diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/util.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/util.ml b/lib/util.ml index 688d415840..f7be7b0d73 100644 --- a/lib/util.ml +++ b/lib/util.ml @@ -16,7 +16,7 @@ let anomaly string = raise (Anomaly(string, str string)) let anomalylabstrm string pps = raise (Anomaly(string,pps)) exception UserError of string * std_ppcmds (* User errors *) -let error string = raise (UserError(string, str string)) +let error string = raise (UserError("_", str string)) let errorlabstrm l pps = raise (UserError(l,pps)) exception AlreadyDeclared of std_ppcmds (* for already declared Schemes *) |