X-Git-Url: https://git.stderr.nl/gitweb?a=blobdiff_plain;f=HighOrdAlu.hs;fp=HighOrdAlu.hs;h=cdef7710c206a817b1bedcfa030bdbfefdd6bfe3;hb=1643800a4ef64501806747d2cafe917be7b1b3b2;hp=11636f2c8ba8e6c20242d2c1e4fba061085a2af3;hpb=02534f209c10759b7f1c8d3eedff5c742570de76;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