From 4eff095e385db3bd487ea9c50239697e2221d927 Mon Sep 17 00:00:00 2001
From: Michael Norrish <michael.norrish@anu.edu.au>
Date: Mon, 9 Dec 2024 14:34:37 +1100
Subject: [PATCH] Fix a match-anything constructor interpreted as a variable

---
 src/prekernel/Feedback.sml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/prekernel/Feedback.sml b/src/prekernel/Feedback.sml
index bdc55162d7..ec4aa7a65c 100644
--- a/src/prekernel/Feedback.sml
+++ b/src/prekernel/Feedback.sml
@@ -92,10 +92,10 @@ fun quiet_messages f = Portable.with_flag (emit_MESG, false) f
 fun format_err_rec {message, origin_function, origin_structure, source_location} =
    String.concat
       ["at ", origin_structure, ".", origin_function, ":\n",
-        case source_location of
-          Loc_Unknown => ""
-        | _ => locn.toString source_location ^ ":\n",
-        message]
+       case source_location of
+           locn.Loc_Unknown => ""
+         | _ => locn.toString source_location ^ ":\n",
+       message]
 
 fun format_ERR err_rec =
    String.concat ["\nException raised ", format_err_rec err_rec, "\n"]