Try fixing format error

CafeOBJ · Sep 17, 2024 · 54e9a52 · 54e9a52
1 parent 7b064bc
commit 54e9a52
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/chaos/tram/tram.lisp b/chaos/tram/tram.lisp
@@ -276,8 +276,7 @@
 		    (update-lowest-parse res)
 		    res)))))
 	    (t (with-output-panic-message ()
-		 (format t "Unkonwn TRAM term ~s is returned.~
-~%  This can happen if signature is not regular..."
+		 (format t "Unknown TRAM term ~s is returned. This can happen if signature is not regular..."
 			 tram-term)
 		 (when (get-context-module)
 		   (context-pop-and-recover))