Summary: Fixed "typo" bug that stripped dirname in filename.

git-svn-id: https://svn.onera.fr/Prelude/Prelude/trunk@870 49f62630-d767-4ccd-930e-b3f5589f52e1

src/main.ml

@@ -114,7 +114,6 @@ let anonymous filename =
   if Filename.check_suffix filename extension
   then
     let basename = Filename.chop_suffix filename extension in
-    let basename = Filename.basename basename in
     compile basename
   else
     raise (Arg.Bad ("Can only compile *.plu files"))