revert change

jsinglet · jsinglet · commit f16f671129d9 · 2023-02-08T15:57:55.000-05:00
diff --git a/c/misra/test/rules/RULE-17-3/test.c b/c/misra/test/rules/RULE-17-3/test.c
@@ -1,3 +1,5 @@
+// semmle-extractor-options:--clang -std=c11 -nostdinc
+// -I../../../../common/test/includes/standard-library
 double f1(double x); // COMPLIANT
 f2(double x);        // NON_COMPLIANT
 

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,5 @@`
	`1`	`+// semmle-extractor-options:--clang -std=c11 -nostdinc`
	`2`	`+// -I../../../../common/test/includes/standard-library`
`1`	`3`	`double f1(double x); // COMPLIANT`
`2`	`4`	`f2(double x); // NON_COMPLIANT`
`3`	`5`