lemmas.k.md: remove fake news math

dapphub · Sep 18, 2019 · ca582e0 · ca582e0
1 parent 5e97364
commit ca582e0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/lemmas.k.md b/src/lemmas.k.md
@@ -441,7 +441,7 @@ rule (A +Int pow256) -Int #unsigned(B) => A -Int B
 
 // mului
 // lemmas for sufficiency
-rule A *Word #unsigned(B) => #unsigned(A *Int B)
+rule A *Int #unsigned(B) => #unsigned(A *Int B)
   requires #rangeUInt(256, A)
   andBool #rangeSInt(256, B)
   andBool #rangeSInt(256, A *Int B)