# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1361194380 0
# Node ID 0329bc0bceecf11863f58c3df3080ffd4ab4094e
# Parent  4d54702229fd7254135576a2f7f04391e6f5df68
tuned

diff -r 4d54702229fd -r 0329bc0bceec turing.scala
--- a/turing.scala	Mon Feb 18 13:28:51 2013 +0000
+++ b/turing.scala	Mon Feb 18 13:33:00 2013 +0000
@@ -210,11 +210,6 @@
   Abacus(Dec(in1, jump) :: tm.p)
 }
 
-def Mult(in1: Int, in2: Int, out: Int, tmp: Int, jump: Int) = {
-  val tm = Plus(in2, out, tmp, -1).shift(1, -1).adjust(-1, 0)
-  Abacus(Dec(in1, jump) :: tm.p)
-}
-
 def Expo(in1: Int, in2: Int, out: Int, tmp: Int, jump: Int) = {
   val tm = Plus(in2, out, tmp, -1).shift(1, -1).adjust(-1, 0)
   Abacus(Dec(in1, jump) :: tm.p)