diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2016-04-14 10:28:34 -0500 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2016-04-14 11:01:35 -0500 |
| commit | a08f9d1f33c110ded40ee395d328de1fac087463 (patch) | |
| tree | d999c0482bcd3dd1104d03d03859765545a7a6c8 /src/expr/node_manager.h | |
| parent | d87431b64a27c073e31652166a24f0c87b22c041 (diff) | |
Add missing function for regexp to expr manager.
Diffstat (limited to 'src/expr/node_manager.h')
| -rw-r--r-- | src/expr/node_manager.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/expr/node_manager.h b/src/expr/node_manager.h index 7fa93d38d..7d2b13e4c 100644 --- a/src/expr/node_manager.h +++ b/src/expr/node_manager.h @@ -705,7 +705,7 @@ public: inline TypeNode stringType(); /** Get the (singleton) type for RegExp. */ - inline TypeNode regexpType(); + inline TypeNode regExpType(); /** Get the (singleton) type for rounding modes. */ inline TypeNode roundingModeType(); @@ -1001,7 +1001,7 @@ inline TypeNode NodeManager::stringType() { } /** Get the (singleton) type for regexps. */ -inline TypeNode NodeManager::regexpType() { +inline TypeNode NodeManager::regExpType() { return TypeNode(mkTypeConst<TypeConstant>(REGEXP_TYPE)); } |