X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=concretepredicate.h;h=1440763aad539c70af3f48371a0e82f5593663cf;hp=c3b81bd995e5e15122c59af48645d89997d66e56;hb=251ac4b4bf3a9f2d3cfacc1e6618200ca1c431ac;hpb=291ac33e363ce8a7b39441c0fa5c8e44ff84cdc6

diff --git a/concretepredicate.h b/concretepredicate.h
index c3b81bd9..1440763a 100644
--- a/concretepredicate.h
+++ b/concretepredicate.h
@@ -24,4 +24,4 @@ private:
 	SnapVector<struct concrete_pred_expr> expressions;
 };
 
-#endif /* __CONCRETE_PREDICATE_H */
+#endif	/* __CONCRETE_PREDICATE_H */