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/expr_manager_template.h | |
| parent | d87431b64a27c073e31652166a24f0c87b22c041 (diff) | |
Add missing function for regexp to expr manager.
Diffstat (limited to 'src/expr/expr_manager_template.h')
| -rw-r--r-- | src/expr/expr_manager_template.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/expr/expr_manager_template.h b/src/expr/expr_manager_template.h index 72fa5d1b6..04f2f4289 100644 --- a/src/expr/expr_manager_template.h +++ b/src/expr/expr_manager_template.h @@ -121,6 +121,9 @@ public: /** Get the type for strings. */ StringType stringType() const; + /** Get the type for regular expressions. */ + RegExpType regExpType() const; + /** Get the type for reals. */ RealType realType() const; |