diff options
author | Alex AUVOLAT <alex.auvolat@ens.fr> | 2014-03-20 15:58:02 +0100 |
---|---|---|
committer | Alex AUVOLAT <alex.auvolat@ens.fr> | 2014-03-20 15:58:02 +0100 |
commit | 084745ffe51234e366ed6627d9f697c47d87bb4a (patch) | |
tree | d8c34ec6602e74f690137225305445e3ac05d7b2 /khb/test.ml | |
parent | bfafa7dbc3325749358538a95cbb4831db66b03c (diff) | |
download | SystemeReseaux-Projet-084745ffe51234e366ed6627d9f697c47d87bb4a.tar.gz SystemeReseaux-Projet-084745ffe51234e366ed6627d9f697c47d87bb4a.zip |
Work on KHB/KHS
Diffstat (limited to 'khb/test.ml')
-rw-r--r-- | khb/test.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/khb/test.ml b/khb/test.ml index 68e3697..edc155e 100644 --- a/khb/test.ml +++ b/khb/test.ml @@ -98,4 +98,4 @@ let primes_khs = [| let () = Array.iter Ksh_print.print_stmt primes_khs; - Khs_exec_seq.exec_program (load_program primes_khs) + Khs_exec_local.exec_program (load_program primes_khs) |