From 084745ffe51234e366ed6627d9f697c47d87bb4a Mon Sep 17 00:00:00 2001 From: Alex AUVOLAT Date: Thu, 20 Mar 2014 15:58:02 +0100 Subject: Work on KHB/KHS --- khb/test.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'khb/test.ml') 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) -- cgit v1.2.3