From 37fda01b5158a61ddf7ae52d3652834e3c2543ed Mon Sep 17 00:00:00 2001
From: LordMZTE <lord@mzte.de>
Date: Sat, 13 May 2023 14:41:24 +0200
Subject: [PATCH] change swank-repl package name

---
 scripts/swank-repl.ros | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/scripts/swank-repl.ros b/scripts/swank-repl.ros
index dab82de..f6b85b7 100755
--- a/scripts/swank-repl.ros
+++ b/scripts/swank-repl.ros
@@ -4,9 +4,9 @@
   (ros:ensure-asdf)
   (ql:quickload '(:swank :mondo) :silent t))
 
-(defpackage :swank-repl
+(defpackage :swank-mondo-repl
   (:use :cl))
-(in-package :swank-repl)
+(in-package :swank-mondo-repl)
 
 (defun main (&rest argv)
   (declare (ignorable argv))