X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=LICENSE;h=d159169d1050894d3ea3b98e1c965c4058208fe1;hp=ecbc0593737be657aef92e3adcf3bcbd6fdb812e;hb=HEAD;hpb=11de0e9cc1effabe19aa2b54029ef2fe09c4cef7

diff --git a/LICENSE b/LICENSE
index ecbc059..d159169 100644
--- a/LICENSE
+++ b/LICENSE
@@ -336,4 +336,4 @@ This General Public License does not permit incorporating your program into
 proprietary programs.  If your program is a subroutine library, you may
 consider it more useful to permit linking proprietary applications with the
 library.  If this is what you want to do, use the GNU Lesser General
-Public License instead of this License.
\ No newline at end of file
+Public License instead of this License.