Don't include redundant locs in wf-errors

Fixes brownplt#1436
BenMusch · May 23, 2019 · fcb6c37 · fcb6c37
1 parent 5c5720b
commit fcb6c37
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/src/arr/compiler/compile-structs.arr b/src/arr/compiler/compile-structs.arr
@@ -428,8 +428,7 @@ data CompileError:
     method render-reason(self):
       [ED.error:
         ED.paragraph([list: ED.highlight(ED.text("Well-formedness:"), [list: self.loc], 0), ED.text(" ")]
-            + self.msg),
-        ED.cmcode(self.loc)]
+            + self.msg)]
     end
   | wf-empty-block(loc :: A.Loc) with:
     method render-fancy-reason(self):