about summary refs log tree commit diff homepage
path: root/lib/Solver/Z3Solver.h
diff options
context:
space:
mode:
Diffstat (limited to 'lib/Solver/Z3Solver.h')
-rw-r--r--lib/Solver/Z3Solver.h2
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Solver/Z3Solver.h b/lib/Solver/Z3Solver.h
index 8dc97e06..105c7c75 100644
--- a/lib/Solver/Z3Solver.h
+++ b/lib/Solver/Z3Solver.h
@@ -14,7 +14,7 @@
 #include "klee/Solver.h"
 
 namespace klee {
-/// Z3Solver - A solver complete solver based on Z3
+/// Z3Solver - A complete solver based on Z3
 class Z3Solver : public Solver {
 public:
   /// Z3Solver - Construct a new Z3Solver.