X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/e015e0876e6dea76409cc6f82753dd4f185ae950..5b99bfd6792ab9229bb5b1d9048833d21b22ecef:/src/signature.c.der?ds=sidebyside

diff --git a/src/signature.c.der b/src/signature.c.der
index 12cb56b..2df1fc4 100644
--- a/src/signature.c.der
+++ b/src/signature.c.der
@@ -116,7 +116,7 @@
 
 # include <stdio.h>
 # include "splintMacros.nf"
-# include "llbasic.h"
+# include "basic.h"
 # include "lslparse.h"
 # include "signature.h"