Permalink
Browse files

typo

  • Loading branch information...
1 parent d7f217c commit 00c027d01cd803bdb42306591672afed318a589c @LeventErkok committed Aug 25, 2012
Showing with 1 addition and 1 deletion.
  1. +1 −1 LICENSE
View
@@ -1,4 +1,4 @@
-SBV: SMT Based Verification for Haskell
+SBV: SMT Based Verification in Haskell
Copyright (c) 2010-2012, Levent Erkok (erkokl@gmail.com)
All rights reserved.

0 comments on commit 00c027d

Please sign in to comment.