From fcb5004baa9b19fa153e3406ec81feea4c6ac818 Mon Sep 17 00:00:00 2001
From: Shinya Sato <shinnya.sato@gmail.com>
Date: Sat, 11 Mar 2023 12:50:45 +0900
Subject: v10.0.7

---
 src/config.h | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

(limited to 'src/config.h')

diff --git a/src/config.h b/src/config.h
index 7d3ea52..ed6c624 100644
--- a/src/config.h
+++ b/src/config.h
@@ -66,7 +66,10 @@
 // ------------------------------------------------
 // Comment out definitions if not needed.
 
-// 
+// Use MKAGENTn codes
+//#define USE_MKAGENT_N
+
+
 // Optimisation inspired by Tail Call Optimisation  
 //
 #define OPTIMISE_IMCODE_TCO   
@@ -118,8 +121,8 @@
                                      // comes with compile errors.
 
 //#define OLD_REUSEAGENT    // Use the old mechanism to reuse agents.
-//                          // Thus, `REUSEAGENT' is used
-//                          // instead of `CHID_L`, `LOADP_L` and so on.
+                            // Thus, `REUSEAGENTn' is used
+                            // instead of `CHID_L`, `LOADP_L` and so on.
 
 
 
-- 
cgit v1.2.3