minor changes

demos/exists1.c

@@ -13,7 +13,6 @@ int main(void)
 	a = 10;
 	b();
 
-	c = 400;
 	c();
 
 	return 0;

demos/exists1.cocci

@@ -1,4 +1,4 @@
-// this rule lacks exists, without exists, all control flows possible
+// This rule lacks exists, without exists, all control flows possible
 // must match the rule when + or - is used. In the case of exists1.c only
 // one possible control flow exists, the flow is completely linear.
 @r@

demos/exists1.res

@@ -15,7 +15,5 @@ int main(void)
 	a = 10;
 	b();
 
-	c = 400;
-
 	return 0;
 }

demos/exists2.c

@@ -13,7 +13,6 @@ int main(void)
 	a = 10;
 	b();
 
-	c = 400;
 	if (a > 5)
 		c();
 

demos/exists2.cocci

@@ -1,4 +1,4 @@
-// this rule lacks exists, without exists, all control flows possible
+// This rule lacks exists, without exists, all control flows possible
 // must match the rule. In the case of exists2.c two possible control
 // flows exists on main():
 // 1. b() --> a > 5 --> c();

demos/exists2.res

@@ -15,7 +15,6 @@ int main(void)
 	a = 10;
 	b();
 
-	c = 400;
 	if (a > 5)
 		c();
 

demos/exists3.c

@@ -13,7 +13,6 @@ int main(void)
 	a = 10;
 	b();
 
-	c = 400;
 	if (a > 5)
 		c();
 

demos/exists3.cocci

@@ -1,4 +1,4 @@
-// this rule uses exists, with it, the rule is successful if at least
+// This rule uses exists, with it, the rule is successful if at least
 // one of the possible control flows possible match.
 // exists3.c has two possible control flows on main():
 // 1. b() --> a > 5 --> c();

demos/exists3.res

@@ -15,7 +15,6 @@ int main(void)
 	a = 10;
 	b();
 
-	c = 400;
 	if (a > 5)
 		{}
 

demos/exists4.c

@@ -14,7 +14,6 @@ int main(void)
 	a = 10;
 	b();
 
-	c = 400;
 	if (a > 5)
 		c();
 

demos/exists4.cocci

@@ -1,4 +1,4 @@
-// this rule uses forall, with it, all control flows must match.
+// This rule uses forall, with it, all control flows must match.
 //
 // The exists4.c was extended to add a c() in comparison to exists2.c
 // this is done to show that using forall will still have an effect

demos/exists4.res

@@ -13,7 +13,6 @@ int main(void)
 	a = 10;
 	b();
 
-	c = 400;
 	if (a > 5)
 		c();