# HG changeset patch
# User Jaroslav Hajek <highegg@gmail.com>
# Date 1212470218 -7200
# Node ID b7e8ea6a5143d2895bab58c9881d8fe32f7f911e
# Parent  5640a70cbab196610cfc6c488552606a28261c09
trivial fix option in Fload

diff --git a/src/ChangeLog b/src/ChangeLog
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,7 @@
+2008-06-03  Jaroslav Hajek <highegg@gmail.com>
+
+	* load-save.cc (Fload): Fix "-7" option.
+
 2008-06-02  David Bateman  <dbateman@free.fr>
 
 	* pt.cc (tree:last_break_function): Next pointer to last function
diff --git a/src/load-save.cc b/src/load-save.cc
--- a/src/load-save.cc
+++ b/src/load-save.cc
@@ -689,7 +689,7 @@
 	{
 	  format = LS_MAT5_BINARY;
 	}
-      else if (argv[i] == "7" || argv[i] == "-v7")
+      else if (argv[i] == "-7" || argv[i] == "-v7")
 	{
 	  format = LS_MAT7_BINARY;
 	}