Improved tracking of state change locations. Added +showdeephistory

[splint.git] / src / .splintrc

diff --git a/src/.splintrc b/src/.splintrc
index 61e8dd78e608c6169d0da607117220d63d53f9e9..e7af515f5ce49c9c0a233eb5604dfe8dc5ada203 100644 (file)
--- a/src/.splintrc
+++ b/src/.splintrc
@@ -7,6 +7,8 @@
 +checks    # checks mode (moderately strict checking)
 
 ### Display Flags
+-locindentspaces 0 
++showdeephistory
 +showscan 
 +showsummary 
 +stats