diff options
| author | Son Ho | 2024-04-04 15:57:12 +0200 |
|---|---|---|
| committer | Son Ho | 2024-04-04 15:57:12 +0200 |
| commit | 77208249c717579d1014f27592566069b8cd0eb2 (patch) | |
| tree | 048e4edac80c560e256bbb7cd38d8a7ab975ea45 | |
| parent | a882e28134dc6c44e7a2b5b82eb42041e9a1f342 (diff) | |
Fix a minor issue
Diffstat (limited to '')
| -rw-r--r-- | compiler/ExtractBase.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/ExtractBase.ml b/compiler/ExtractBase.ml index 6130528c..47b613c2 100644 --- a/compiler/ExtractBase.ml +++ b/compiler/ExtractBase.ml @@ -259,7 +259,7 @@ let report_name_collision (id_to_string : id -> string) let meta_to_string (meta : Meta.meta option) = match meta with | None -> "" - | Some meta -> "\n " ^ Errors.meta_to_string meta.span + | Some meta -> "\n " ^ Errors.meta_to_string meta in let id1 = "\n- " ^ id_to_string id1 ^ meta_to_string meta1 in let id2 = "\n- " ^ id_to_string id2 ^ meta_to_string meta2 in |