X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;ds=sidebyside;f=predicate.h;h=3849e2d88e0e4b2c519c4bd61717597a0d53f2e3;hb=6898da1b7c46ddf3427ea0127dc68f8cc6016511;hp=42511c609cb5a8907b7bda7d740047c4f3b0387d;hpb=e9e6aaed0177ca95f216a59a284464262c835c3c;p=c11tester.git

diff --git a/predicate.h b/predicate.h
index 42511c60..3849e2d8 100644
--- a/predicate.h
+++ b/predicate.h
@@ -12,7 +12,7 @@ typedef enum predicate_token {
 } token_t;
 
 /* If token is EQUALITY, then the predicate asserts whether
- * this load should read the same value as the last value 
+ * this load should read the same value as the last value
  * read at memory location specified in predicate_expr.
  */
 struct pred_expr {