Don't print negative ranges

egraphs-good · Oct 28, 2024 · a99bb3d · a99bb3d
1 parent d98d6b1
commit a99bb3d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/ast/parse.rs b/src/ast/parse.rs
@@ -71,7 +71,7 @@ impl Debug for Span {
 impl Display for Span {
     fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
         let start = self.0.get_location(self.1);
-        let end = self.0.get_location(self.2 - 1);
+        let end = self.0.get_location((self.2 - 1).max(self.1));
         let quote = self.string();
         match (&self.0.name, start.line == end.line) {
             (Some(filename), true) => write!(