Bug syntax error: par.py:5281

[lj-ucb]

See the diff for the fix.
npos() should be n_pos()

diff --git a/super_prove/par.py b/super_prove/par.py
index c48398f..ec08808 100644
--- a/super_prove/par.py
+++ b/super_prove/par.py
@@ -5281,7 +5281,7 @@ def multi_prove_iter(opos=[]):
     L = multi_prove(opos=list(opos))
     uu = len(pos_unsat)
     ss = len(pos_sat)
-    dd = npos() -(uu+ss)
+    dd = n_pos() -(uu+ss)
     overlap = [i for i in uu and i in ss]
     assert overlap == [],'overlap = %s'%str(overlap)
     d = count_less(L,0)