diff options
author | ajreynol <andrew.j.reynolds@gmail.com> | 2016-08-26 16:27:57 -0500 |
---|---|---|
committer | ajreynol <andrew.j.reynolds@gmail.com> | 2016-08-26 16:27:57 -0500 |
commit | 9ac5255577a07e3bef123908d55003f89dea7619 (patch) | |
tree | 81a74251576a2bdcb58a010a8d0eb83c57b71a9d /src/theory/quantifiers/relevant_domain.h | |
parent | 2e7ec13174e165cccc74159b5c6590d12894a674 (diff) |
Basic support for EPR+CBQI. Minor cleanup.
Diffstat (limited to 'src/theory/quantifiers/relevant_domain.h')
-rw-r--r-- | src/theory/quantifiers/relevant_domain.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/theory/quantifiers/relevant_domain.h b/src/theory/quantifiers/relevant_domain.h index 2b90520fd..8bc8e1f04 100644 --- a/src/theory/quantifiers/relevant_domain.h +++ b/src/theory/quantifiers/relevant_domain.h @@ -72,6 +72,7 @@ public: RDomain * getRDomain( Node n, int i, bool getParent = true ); };/* class RelevantDomain */ + }/* CVC4::theory::quantifiers namespace */ }/* CVC4::theory namespace */ }/* CVC4 namespace */ |