1 files changed, 9 insertions, 1 deletions

diff --git a/README b/README
index 0cd9087..b3713db 100644
--- a/README
+++ b/README
@@ -13,4 +13,12 @@ init_defs_builtins: /usr/share/coccinelle/standard.h
 HANDLING: buggy.c
 buggy.c:13: Mismatching type of argument 1: expected "int *" but got "unsigned long *"
 
-which correctly detects an issue seen in socket.htons() on 64bit big endian machines
\ No newline at end of file
+which correctly detects an issue seen in socket.htons() on 64bit big endian machines
+
+
+Similarly, it detects the deliberate bug here:
+spatch -sp_file pyarg-parsetuple.cocci ../python-svn/Modules/xxmodule.c 
+init_defs_builtins: /usr/share/coccinelle/standard.h
+HANDLING: ../python-svn/Modules/xxmodule.c
+TYPE: header ../python-svn/Modules/Python.h not found
+../python-svn/Modules/xxmodule.c:206: unknown format char: '#'