Merge pull request #151 from jumormt/patch-2

Update spec-gap.c

src/basic_c_tests/spec-gap.c

@@ -7,7 +7,7 @@
 #include "aliascheck.h"
 
 /// Note that `SyGetmem` is summarized lib function (with side-effect ExtAPI::EFT_ALLOC) in ExtAPI.cpp, we will use SVF's summmary instead of this user defined function
-char *  SyGetmem ( long size ){}
+char *  SyGetmem ( long size );
 
 typedef struct TypHeader {
 	struct TypHeader    * * ptr;