Parcourir la source

Fix compilator warning

 - The type of rc_content.progs was not clear
    - Warning 40: progs was selected from type Settings_j.rc_file.
Leo il y a 10 ans
Parent
commit
49976e2ca7
1 fichiers modifiés avec 2 ajouts et 1 suppressions
  1. 2 1
      src/oclaunch.ml

+ 2 - 1
src/oclaunch.ml

@@ -44,5 +44,6 @@ let tmp_content = Tmp_file.init ~tmp:Const.tmp_file;;
 
 (*List.iter rc_content.progs ~f:print_endline*)
 (* Execute each item (one by one)in config file *)
+let open Settings_t in (* This prevent warning 40 for ~cmd_list:rc_content.progs *)
 let cmd_to_exec = Exec_cmd.what_next ~cmd_list:rc_content.progs ~tmp:tmp_content in
-Exec_cmd.execute ~tmp:tmp_content cmd_to_exec;; (* TODO Use display option in rc file *)
+  Exec_cmd.execute ~tmp:tmp_content cmd_to_exec;; (* TODO Use display option in rc file *)