diff options
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) |