# HG changeset patch
# User Eugen Sawin <sawine@me73.com>
# Date 1306754343 -7200
# Node ID 502d9d333417019466314d2cd1d236d3187097ac
# Parent  649753d09da6657d21e1eb5e36c21bd846a879b3
Minor fix.

diff -r 649753d09da6 -r 502d9d333417 sml.py
--- a/sml.py	Mon May 30 13:16:21 2011 +0200
+++ b/sml.py	Mon May 30 13:19:03 2011 +0200
@@ -15,7 +15,7 @@
     formula3 = Not(Not(p))
     formula4 = Imp(Box(Imp(Diamond(p), p)), Box(Imp(p, Box(p))))
     formula5 = Imp(And(Or(p, q), r), Not(s))
-    formula = formula5 # choose your formula here
+    formula = formula4 # choose your formula here
 
     args = parse_arguments()
     if (args.formula):
@@ -90,7 +90,7 @@
         return formula
     ids = (formula.id, formula.values[0].id)
     if ids in distmap:
-        return distmap[ids](*values(dist_mod, formula.values[0]))
+        return distmap[ids](values(dist_mod, formula.values[0]))
     return formula.__class__(*values(dist_mod, formula))    
 
 def mcnf(formula):