diff options
Diffstat (limited to 'src/expr')
| -rw-r--r-- | src/expr/node_manager.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/expr/node_manager.h b/src/expr/node_manager.h index 6453a84d5..d434799b7 100644 --- a/src/expr/node_manager.h +++ b/src/expr/node_manager.h @@ -119,7 +119,7 @@ class NodeManager { /** * Whether to do early type checking (only effective in debug - * builds; other builds never do early type checking. + * builds; other builds never do early type checking). */ const bool d_earlyTypeChecking; |