From de6e1a33118b3c5a40acd85a5577a1add96e2df8 Mon Sep 17 00:00:00 2001
From: Lorenz Leutgeb <lorenz.leutgeb@student.tuwien.ac.at>
Date: Wed, 13 Mar 2019 20:54:17 +0100
Subject: [PATCH] Add evaluation hints to examples/innocence.asp

---
 examples/innocence.asp | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/examples/innocence.asp b/examples/innocence.asp
index 44b4478f1..803c87a3c 100644
--- a/examples/innocence.asp
+++ b/examples/innocence.asp
@@ -4,3 +4,10 @@ guilty(b).
 
 % ei incumbit probatio qui dicit, non qui negat
 innocent(S) :- motive(S), not guilty(S).
+
+% Evaluating:
+%
+% Run the following command, substituting the name of the JAR file and the path
+% to this file as required:
+%
+%    java -jar alpha-bundled.jar -i .../innocence.asp