diff --git a/examples/hamiltonian.lp b/examples/hamiltonian.lp
index 16c0c654..865957b1 100644
--- a/examples/hamiltonian.lp
+++ b/examples/hamiltonian.lp
@@ -1,4 +1,3 @@
-
 node(1..4). start(1).
 edge(1,2). edge(2,3). edge(2,4). edge(3,1).
 edge(3,4). edge(4,1). edge(4,3).
@@ -9,4 +8,3 @@ reached(V) :- reached(U), hc(U,V).
 :- node(V), not reached(V).
 :- hc(V,U), hc(V,W), U!=W.
 :- hc(U,V), hc(W,V), U!=W.
-% :- hc(V,U), hc(W,V), U!=W. % uncomment to make the program unsatisfiable & comment the line above