diff options
| author | gingerBill <bill@gingerbill.org> | 2017-12-12 20:23:36 +0000 |
|---|---|---|
| committer | gingerBill <bill@gingerbill.org> | 2017-12-12 20:23:36 +0000 |
| commit | 054e24103329022b1d918505cc5a61f8540c0e13 (patch) | |
| tree | 08e98ddd2d162cc0d4a99c11e8f6a67569a7a142 /src/main.cpp | |
| parent | f7e9649be466ea03f556e2918063c5a4d0d28e2e (diff) | |
Localize checker data
Diffstat (limited to 'src/main.cpp')
| -rw-r--r-- | src/main.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/main.cpp b/src/main.cpp index 2a1ee6017..91bee0b03 100644 --- a/src/main.cpp +++ b/src/main.cpp @@ -4,6 +4,7 @@ #include "timings.cpp" #include "build_settings.cpp" #include "tokenizer.cpp" +#include "exact_value.cpp" #include "parser.cpp" #include "docs.cpp" #include "checker.cpp" |