Commit b1dbe066 authored by AVANZINI Martin's avatar AVANZINI Martin
Browse files

revert norm for rand

parent d113d25f
......@@ -236,7 +236,7 @@ boundedSum (i,f) (l,o) = bs f
PP.<+> PP.pretty i
PP.<+> PP.text "<="
PP.<+> PP.pretty o))
t <- template "guarded" (pure (sum [ nn * nn + nn * ng
t <- template "guarded" (pure (sum [ nn * ng
| C.GNorm b _ n <- varGNorms g
, let nn = norm n
, let ng = sum [ normFromExp (e1 - e2 + 1)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment