diff options
| author | Chimrod <> | 2025-07-19 11:18:24 +0200 |
|---|---|---|
| committer | Chimrod <> | 2025-08-01 14:12:14 +0200 |
| commit | 3046fb0d0c1ceac2c6a6ca9456e9e05671e0cef9 (patch) | |
| tree | 8ba2700e541a6753499ceac54ced4f1d02a3b625 /test/location.ml | |
| parent | 406b7b79cd375b071f92ddee9cee14a98dc91281 (diff) | |
Diffstat (limited to 'test/location.ml')
| -rw-r--r-- | test/location.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/location.ml b/test/location.ml index cf2008f..decf270 100644 --- a/test/location.ml +++ b/test/location.ml @@ -5,7 +5,7 @@ let _position = (Lexing.dummy_pos, Lexing.dummy_pos) let error_message = [ ( "Location", - Check. + Make_checkTest. { level = Error; loc = _position; @@ -27,7 +27,7 @@ let if_missing_gs () = if 0: gs 'unknown_place'|} error_message let test = - ( "Locations", + ( __FILE__, [ Alcotest.test_case "Ok" `Quick ok; Alcotest.test_case "Ok upper" `Quick ok_upper; |