diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2023-03-11 12:51:02 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2023-03-11 12:51:02 +0900 |
| commit | 3e5a883cf0b7d0a7fe024d0db0e484cc38b240b8 (patch) | |
| tree | 15831d3c5ae25f05bbcf79b3daa49ce5ebd3f70b /src/config.h | |
| parent | b80d7f3e05776eed407bde32ad6cde5d393fde1d (diff) | |
| parent | fcb5004baa9b19fa153e3406ec81feea4c6ac818 (diff) | |
| download | inpla-3e5a883cf0b7d0a7fe024d0db0e484cc38b240b8.tar.gz inpla-3e5a883cf0b7d0a7fe024d0db0e484cc38b240b8.zip | |
Merge branch 'develop'
Diffstat (limited to '')
| -rw-r--r-- | src/config.h | 9 |
1 files changed, 6 insertions, 3 deletions
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. |