From 5ec2da117bb0bad566bf822c09efc36703465e59 Mon Sep 17 00:00:00 2001
From: Andrew Santosa <santosa_1999@yahoo.com>
Date: Sat, 8 Jul 2017 22:54:10 +0800
Subject: Corrected comment of Z3Solver class

---
 lib/Solver/Z3Solver.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib/Solver')

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.
-- 
cgit 1.4.1