From da4f4c819693599582610ca6b5fe8a653dfa0eb4 Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Thu, 22 Dec 2022 12:46:47 +0900 Subject: v0.10.1 --- src/config.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/config.h') diff --git a/src/config.h b/src/config.h index 83ba616..811f2e4 100644 --- a/src/config.h +++ b/src/config.h @@ -73,7 +73,7 @@ // // Optimisation inspired by Tail Recursion Optimisation // -#define OPTIMISE_IMCODE_TRO +#define OPTIMISE_IMCODE_TCO // // Optimisation of the intermediate codes @@ -124,7 +124,7 @@ //#define VERBOSE_NODE_USE // Put memory usage of agents and names. //#define VERBOSE_HOOP_EXPANSION // Put messages when hoops are expanded. //#define VERBOSE_EQSTACK_EXPANSION // Put messages when Eqstacks are expanded. -//#define VERBOSE_TRO // Put message when TRO is enable. +//#define VERBOSE_TCO // Put message when TCO is enable. -- cgit v1.2.3