From d9f8744ea219fb04057059cdcbf7162534c63852 Mon Sep 17 00:00:00 2001
From: Alex AUVOLAT <alex.auvolat@ens.fr>
Date: Tue, 7 Jan 2014 15:07:22 +0100
Subject: Document.

---
 cpu/alu.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'cpu/alu.ml')

diff --git a/cpu/alu.ml b/cpu/alu.ml
index e0c1ef9..f437bd3 100644
--- a/cpu/alu.ml
+++ b/cpu/alu.ml
@@ -51,7 +51,7 @@ let rec nadder_with_carry n a b c_in =
 
 let nadder n a b =
     let a, b = nadder_with_carry n a b (const "0") in
-    ignore b a
+    b ^. a
 
 let rec nsubber n a b =
     zeroes n (* TODO *)
-- 
cgit v1.2.3