fixed readme

ianno · Nov 5, 2014 · e171a8d · e171a8d
1 parent f0b2e14
commit e171a8d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -13,7 +13,7 @@ The LTL properties are:
 4.  `[]( (state == HOLD) -> ((x != DISABLE) && (x != RESUME) )) -> <>(state == STANDBY) `
 
 To compile and verify the model you can use 'ispin' (SPIN graphical environment),
-or, using the command line, with:
+or, using the command line:
 
 - `spin -a cruise.pml`
 - `gcc -o pan pan.c`