Update README.md

scott-cotton · web-flow · commit 8f9e561c81ae · 2021-08-22T02:43:48.000+02:00
diff --git a/README.md b/README.md
@@ -1,4 +1,4 @@
-# ⊧Reach -- A Finite State Reachability Tool
+# ⊧ Reach -- A Finite State Reachability Tool
 
 Reach is a symbolic finite state reachability checker.  One could also say that
 Reach is a safety model checker.

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-# ⊧Reach -- A Finite State Reachability Tool`
	`1`	`+# ⊧ Reach -- A Finite State Reachability Tool`
`2`	`2`
`3`	`3`	`Reach is a symbolic finite state reachability checker. One could also say that`
`4`	`4`	`Reach is a safety model checker.`