diff options
| author | Alex AUVOLAT <alex.auvolat@ens.fr> | 2014-01-10 14:41:21 +0100 |
|---|---|---|
| committer | Alex AUVOLAT <alex.auvolat@ens.fr> | 2014-01-10 14:41:21 +0100 |
| commit | 25e1beee38cba662f62f2de85855091a4e718064 (patch) | |
| tree | 2a0508e67b3dd673b65fb36c1746296fbcd9331b /cpu/netlist_gen.mli | |
| parent | 40f46cd1ce93d7f8045dda4e0af91670cd681d57 (diff) | |
| parent | 2595e3881e0904fc6ecb162775a149f5b0121848 (diff) | |
| download | SystDigit-Projet-25e1beee38cba662f62f2de85855091a4e718064.tar.gz SystDigit-Projet-25e1beee38cba662f62f2de85855091a4e718064.zip | |
Merge branch 'jonathan' ; add unit tests.
Conflicts:
cpu/alu.ml
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)) |