1.1 --- a/sml.py	Mon May 30 13:16:21 2011 +0200
     1.2 +++ b/sml.py	Mon May 30 13:19:03 2011 +0200
     1.3 @@ -15,7 +15,7 @@
     1.4      formula3 = Not(Not(p))
     1.5      formula4 = Imp(Box(Imp(Diamond(p), p)), Box(Imp(p, Box(p))))
     1.6      formula5 = Imp(And(Or(p, q), r), Not(s))
     1.7 -    formula = formula5 # choose your formula here
     1.8 +    formula = formula4 # choose your formula here
     1.9  
    1.10      args = parse_arguments()
    1.11      if (args.formula):
    1.12 @@ -90,7 +90,7 @@
    1.13          return formula
    1.14      ids = (formula.id, formula.values[0].id)
    1.15      if ids in distmap:
    1.16 -        return distmap[ids](*values(dist_mod, formula.values[0]))
    1.17 +        return distmap[ids](values(dist_mod, formula.values[0]))
    1.18      return formula.__class__(*values(dist_mod, formula))    
    1.19  
    1.20  def mcnf(formula):