diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-02-15 11:19:08 -0500 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-02-16 15:23:00 -0500 |
| commit | f06ae104dc3caf9b4ff01a0b2d49b09ace88faad (patch) | |
| tree | 488669992e6d375450e18a2c92659be3f93f7a88 /src/theory/quantifiers/inst_gen.h | |
| parent | 5e29fdffd2f72212d699316f9b27e1bf9d6c715c (diff) | |
Some cleanup and copyright updating
* update some copyrights for 2013
* cleaned up some comments/ifdefs, indentation
* some spelling corrections
* add some missing makefiles
Diffstat (limited to 'src/theory/quantifiers/inst_gen.h')
| -rw-r--r-- | src/theory/quantifiers/inst_gen.h | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/theory/quantifiers/inst_gen.h b/src/theory/quantifiers/inst_gen.h index 94922df18..930133954 100644 --- a/src/theory/quantifiers/inst_gen.h +++ b/src/theory/quantifiers/inst_gen.h @@ -50,10 +50,10 @@ public: int getNumMatches() { return d_matches.size(); } bool getMatch( EqualityQuery* q, int i, InstMatch& m ); Node getMatchValue( int i ) { return d_match_values[i]; } -}; +};/* class InstGenProcess */ -} -} -} +}/* CVC4::theory::quantifiers namespace */ +}/* CVC4::theory namespace */ +}/* CVC4 namespace */ -#endif +#endif /* __CVC4__THEORY__QUANTIFIERS__INST_GEN_H */ |