From e507cfd447191ec455e6af0ad8e9e53ca275c068 Mon Sep 17 00:00:00 2001
From: Bernie Pope <bjpope@unimelb.edu.au>
Date: Sat, 11 Jul 2020 21:40:38 +1000
Subject: [PATCH] update number of tests run

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

diff --git a/README.md b/README.md
index 80ab275..f5cfb2c 100644
--- a/README.md
+++ b/README.md
@@ -32,9 +32,9 @@ PATH=$HOME/.cabal/bin/:$PATH make test
 If all goes well you should see a long list of test cases and a summary at the end, that should look like the following:
 ```
          Test Cases    Total        
- Passed  517           517          
+ Passed  519           519          
  Failed  0             0            
- Total   517           517       
+ Total   519           519  
 ```
 
 Pull requests