diff options
| author | FabianWolff <fabi.wolff@arcor.de> | 2018-07-30 18:28:11 +0200 |
|---|---|---|
| committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-07-30 11:28:11 -0500 |
| commit | 46520451e7f6408c6caf3e52a15672732abc5911 (patch) | |
| tree | 8361b25d52b5c66522786af7affdee94df07add6 /src/theory/quantifiers/sygus/cegis_unif.h | |
| parent | 1f9d6d3c9d836d6219b8aaf717f7129c7710c9c8 (diff) | |
Fix several spelling errors (#2231)
Diffstat (limited to 'src/theory/quantifiers/sygus/cegis_unif.h')
| -rw-r--r-- | src/theory/quantifiers/sygus/cegis_unif.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/quantifiers/sygus/cegis_unif.h b/src/theory/quantifiers/sygus/cegis_unif.h index 48fca53f5..858a83bce 100644 --- a/src/theory/quantifiers/sygus/cegis_unif.h +++ b/src/theory/quantifiers/sygus/cegis_unif.h @@ -236,7 +236,7 @@ class CegisUnif : public Cegis Node getNextDecisionRequest(unsigned& priority) override; private: - /** do cegis-implementation-specific intialization for this class */ + /** do cegis-implementation-specific initialization for this class */ bool processInitialize(Node n, const std::vector<Node>& candidates, std::vector<Node>& lemmas) override; |