X-Git-Url: https://git.stderr.nl/gitweb?a=blobdiff_plain;f=HighOrdAlu.hs;h=cdef7710c206a817b1bedcfa030bdbfefdd6bfe3;hb=a44db062ae75b4fe3ce28368e07323130a14fe58;hp=11636f2c8ba8e6c20242d2c1e4fba061085a2af3;hpb=dfdf88c20bacf8f8e7863cf7a41c86c869735f6f;p=matthijs%2Fmaster-project%2Fc%CE%BBash.git

diff --git a/HighOrdAlu.hs b/HighOrdAlu.hs
index 11636f2..cdef771 100644
--- a/HighOrdAlu.hs
+++ b/HighOrdAlu.hs
@@ -10,7 +10,7 @@ import Data.RangedWord
 
 constant :: e -> Op D4 e
 constant e a b =
-  e +> (e +> (e +> singleton e))
+  e +> (e +> (e +> (e +> empty)))
 
 inv = hwnot