db_info: remove unused print
[smatch.git] / Documentation / 
treee1294bbdc938f2bcbacfd485089c92c314aa4ff7
drwxr-xr-x   ..
-rw-r--r-- 5000 data-structures.txt
-rw-r--r-- 1829 sparse.txt
-rw-r--r-- 2857 test-suite