From 438b8e30bd7d4e186554a899d9fc86fc4bc65a9e Mon Sep 17 00:00:00 2001
From: Jonathan <jonathan@jonathan-VirtualBox.(none)>
Date: Thu, 9 Jan 2014 17:51:25 +0100
Subject: =?UTF-8?q?Impl=C3=A9mentation=20de=20la=20multiplication=20;=20co?=
 =?UTF-8?q?rrection=20d'un=20bug=20dans=20netlist=5Fgen=20;=20ajout=20de?=
 =?UTF-8?q?=20la=20localisation=20des=20erreurs=20dans=20sched/.?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 cpu/netlist_gen.mli | 2 --
 1 file changed, 2 deletions(-)

(limited to 'cpu/netlist_gen.mli')

diff --git a/cpu/netlist_gen.mli b/cpu/netlist_gen.mli
index 67d4774..24cd6f1 100644
--- a/cpu/netlist_gen.mli
+++ b/cpu/netlist_gen.mli
@@ -1,7 +1,5 @@
 type t
 
-val print : out_channel -> Netlist_ast.program -> unit
-
 val get : Netlist_ast.ident -> t
 val loop : int -> (t * (t -> t))
 
-- 
cgit v1.2.3