main.ml: use Arm_env instead of Eval for environment

fallout from UQ-PAC/aslp#90

bin/main.ml

@@ -167,7 +167,7 @@ let () =
 
   Printexc.record_backtrace true;
   let env =
-    match Eval.aarch64_evaluation_environment () with
+    match Arm_env.aarch64_evaluation_environment () with
     | Some e -> e
     | None -> Printf.eprintf "unable to load bundled asl files. has aslp been installed correctly?"; exit 1
   in