X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.h;h=941601b61fba027fe9b4a3dc366eef420aa561e1;hb=2db2ef3b8bdabacc7784fd5a4e7e7520f1cd2298;hp=97e9849f0bbb441c5af72999e3453bc9adbe5745;hpb=42e6cb1c90b72167be32e0201558019d47faa7f2;p=model-checker.git

diff --git a/model.h b/model.h
index 97e9849..941601b 100644
--- a/model.h
+++ b/model.h
@@ -1,5 +1,5 @@
 /** @file model.h
- *  @brief Core model checker. 
+ *  @brief Core model checker.
  */
 
 #ifndef __MODEL_H__