From ec839a12c279317cec1135e9fdaa50fb00708d89 Mon Sep 17 00:00:00 2001
From: Pjotr Prins
Date: Thu, 27 Sep 2018 09:53:23 +0000
Subject: Using -no-check by default now

---
 README.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index 28d4cd4..ae6ac5b 100644
--- a/README.md
+++ b/README.md
@@ -132,10 +132,10 @@ Above example files can be downloaded from
 GEMMA has a wide range of debugging options which can be viewed with
 
 ```
-./bin/gemma -h 14
+gemma -h 14
 
  DEBUG OPTIONS
- -no-check                disable checks
+ -check                   enable checks (slower)
  -no-fpe-check            disable hardware floating point checking
  -strict                  strict mode will stop when there is a problem
  -silence                 silent terminal display
-- 
cgit v1.2.3