about summary refs log tree commit diff homepage
path: root/lib/Solver
diff options
context:
space:
mode:
authorAndrew Santosa <santosa_1999@yahoo.com>2017-07-08 22:54:10 +0800
committerDan Liew <delcypher@gmail.com>2017-07-08 18:49:38 +0100
commit5ec2da117bb0bad566bf822c09efc36703465e59 (patch)
treeb6ea1b8e8b3202ecd6050597a6b1b54554c6913a /lib/Solver
parent7c4fdd012317eb92352fc7ded53a553ed762719f (diff)
downloadklee-5ec2da117bb0bad566bf822c09efc36703465e59.tar.gz
Corrected comment of Z3Solver class
Diffstat (limited to 'lib/Solver')
-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.