Update readme

utdb · Jan 4, 2017 · 8535e50 · 8535e50
1 parent 2b8857f
commit 8535e50
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -13,7 +13,7 @@ Quick Start
 
   1. Clone this repository
   2. Have a look at the examples in `examples/`, or play with the interactive
-     interpreter: `./datalog.py`
+     interpreter: `./judged.py`
 
 
 Variants