Fix typo in use line
treebc0e15d5ce353824f451ac93621eddbf4f5a6854
-rw-r--r-- 247 .cil
-rw-r--r-- 18 .gitignore
-rw-r--r-- 35068 COPYING
-rw-r--r-- 895 Changes
-rw-r--r-- 389 INSTALL
-rw-r--r-- 314 Makefile
-rw-r--r-- 39 Manifest
-rw-r--r-- 2340 README
-rw-r--r-- 406 RELEASING
drwxr-xr-x - issues
-rwxr-xr-x 5686 safe-rm