From 08ac17bd0ae080223a765b5fc04648d285a14ad8 Mon Sep 17 00:00:00 2001
From: Holger Vogt <holger.vogt@uni-due.de>
Date: Sun, 9 Jun 2024 17:25:30 +0200
Subject: [PATCH] When reading code models, allow only a single model pere
 command (as was implicitely assumed anyway).

---
 src/frontend/commands.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/frontend/commands.c b/src/frontend/commands.c
index 36f30f72f..41671950c 100644
--- a/src/frontend/commands.c
+++ b/src/frontend/commands.c
@@ -266,7 +266,7 @@ struct comm spcp_coms[] = {
       NULL,
       "node node ... : Print all event nodes." },
     { "codemodel", com_codemodel, FALSE, TRUE,
-      { 040000, 040000, 040000, 040000 }, E_BEGINNING, 1, LOTS,
+      { 040000, 040000, 040000, 040000 }, E_BEGINNING, 1, 1,
       NULL,
       "library library ... : Loads the code model libraries." } ,
 #endif