diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2022-12-22 12:48:24 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2022-12-22 12:48:24 +0900 |
| commit | d2304c259e164f90564e9ff96ce9caba09c802b0 (patch) | |
| tree | ea57a54ea32719da42176f7f3d0ffadd3c77a336 /src/config.h | |
| parent | caedc249ed3685f5165f3c7be3c353b46ff15470 (diff) | |
| parent | da4f4c819693599582610ca6b5fe8a653dfa0eb4 (diff) | |
| download | inpla-d2304c259e164f90564e9ff96ce9caba09c802b0.tar.gz inpla-d2304c259e164f90564e9ff96ce9caba09c802b0.zip | |
Merge branch 'develop'
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. |