update c_src
[nit.git] / c_src / kernel._ffi.c
index 36df193..3d6c1ee 100644 (file)
 #else
        #define PRINT_ERROR(...) fprintf(stderr, __VA_ARGS__)
 #endif
-#line 20 "lib/standard/kernel.nit"
+#line 20 "../lib/standard/kernel.nit"
 
 #include <errno.h>
 
 long kernel___Sys_errno___impl( Sys recv )
 {
-#line 93 "lib/standard/kernel.nit"
+#line 92 "../lib/standard/kernel.nit"
 
 
                return errno;