diff --git a/bin/mps b/bin/mps index 9cd5a3d14..9ebd431e3 100755 --- a/bin/mps +++ b/bin/mps @@ -2260,4 +2260,3 @@ ana "$@" #33 sari #34 mavi #34 mor -k