diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2022-12-22 12:46:47 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2022-12-22 12:46:47 +0900 |
| commit | da4f4c819693599582610ca6b5fe8a653dfa0eb4 (patch) | |
| tree | ea57a54ea32719da42176f7f3d0ffadd3c77a336 /src/config.h | |
| parent | 910119af13c9cbe420966cb6307a9dc9a77ab2b8 (diff) | |
| download | inpla-da4f4c819693599582610ca6b5fe8a653dfa0eb4.tar.gz inpla-da4f4c819693599582610ca6b5fe8a653dfa0eb4.zip | |
v0.10.1
Diffstat (limited to '')
| -rw-r--r-- | src/config.h | 4 |
1 files changed, 2 insertions, 2 deletions
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. |