fix: use the new rdbg-session files naming convention in rdbgui4sasa

tools/rdbgui4sasa/rdbgui.ml

@@ -16,8 +16,8 @@ let rdbg_cmd =
   String.concat " " ("rdbg"::sasa_opt::str::[])
 
 let gui =
-  Printf.sprintf " --ocaml-cmd \"#use \\\"gtkgui.ml\\\";;\"" 
-  
+  Printf.sprintf " --ocaml-cmd \"#use \\\"gtkgui.ml\\\";;\""
+
 
 let welcome () =
   Printf.printf "rdbgui4sasa is a GUI wrapper around rdbg when used with sasa\n";
@@ -30,7 +30,7 @@ let welcome () =
 let _ =
   let n = Array.length Sys.argv in
   welcome ();
-  if n = 1 && Mypervasives.ls "rdbg-session" "ml" = [] then exit 0;
+  if n = 1 && Mypervasives.ls ".rdbg-session" "ml" = [] then exit 0;
   let cmd = rdbg_cmd ^ gui in
   Printf.printf "%s\n%!" cmd;
   Sys.command cmd