diff --git a/tools/rdbgui4sasa/rdbgui.ml b/tools/rdbgui4sasa/rdbgui.ml
index 246fcaf2a0ec34e43f509dd2fc1beaa8a1c4e9d5..269bbc58b20a81877a2643a99f8985fb5af530ac 100644
--- a/tools/rdbgui4sasa/rdbgui.ml
+++ b/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