diff options
Diffstat (limited to 'src/prop')
-rw-r--r-- | src/prop/bvminisat/core/Solver.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/prop/bvminisat/core/Solver.cc b/src/prop/bvminisat/core/Solver.cc index 8d71e2f65..740c2e5e6 100644 --- a/src/prop/bvminisat/core/Solver.cc +++ b/src/prop/bvminisat/core/Solver.cc @@ -138,7 +138,7 @@ Solver::Solver(CVC4::context::Context* c) : , ca () // even though these are temporaries and technically should be set - // before calling, lets intialize them. this will reduces chances of + // before calling, lets initialize them. this will reduces chances of // non-determinism in portfolio (parallel) solver if variables are // being (incorrectly) used without initialization. , seen(), analyze_stack(), analyze_toclear(), add_tmp() |