diff options
| author | Jonathan <jonathan@jonathan-VirtualBox.(none)> | 2014-01-09 17:51:25 +0100 |
|---|---|---|
| committer | Jonathan <jonathan@jonathan-VirtualBox.(none)> | 2014-01-09 17:51:25 +0100 |
| commit | 438b8e30bd7d4e186554a899d9fc86fc4bc65a9e (patch) | |
| tree | 343843b5e173892fce45e913ac6b91f1ab1b9739 /cpu/netlist_gen.mli | |
| parent | 36a354fc8b914f6b96cba19a67c8f6ce712ac656 (diff) | |
| download | SystDigit-Projet-438b8e30bd7d4e186554a899d9fc86fc4bc65a9e.tar.gz SystDigit-Projet-438b8e30bd7d4e186554a899d9fc86fc4bc65a9e.zip | |
Implémentation de la multiplication ; correction d'un bug dans netlist_gen ; ajout de la localisation des erreurs dans sched/.
Diffstat (limited to 'cpu/netlist_gen.mli')
| -rw-r--r-- | cpu/netlist_gen.mli | 2 |
1 files changed, 0 insertions, 2 deletions
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)) |