From faf2494ac3a5dec057384fd413e0c2a024a5347b Mon Sep 17 00:00:00 2001
From: Martin Nowack <martin_nowack@tu-dresden.de>
Date: Sun, 29 Oct 2017 21:58:53 +0100
Subject: Added comment for getPointerWidth

---
 lib/Core/Context.h | 1 +
 1 file changed, 1 insertion(+)

(limited to 'lib')

diff --git a/lib/Core/Context.h b/lib/Core/Context.h
index af1ce8e7..6c6eb936 100644
--- a/lib/Core/Context.h
+++ b/lib/Core/Context.h
@@ -37,6 +37,7 @@ namespace klee {
 
     bool isLittleEndian() const { return IsLittleEndian; }
 
+    /// Returns width of the pointer in bits
     Expr::Width getPointerWidth() const { return PointerWidth; }
   };
   
-- 
cgit 1.4.1