diff --git a/README.md b/README.md index 4e69d7c04159b7647c9dd36378c4ec36fb991982..0835a52e7e7252f7a1bed0c50a428a336463475b 100644 --- a/README.md +++ b/README.md @@ -15,7 +15,7 @@ ProB comes with ABSOLUTELY NO WARRANTY OF ANY KIND! This software is distributed The ProB binary and source distributions contain the nauty library (http://cs.anu.edu.au/~bdm/nauty/) which imply further restrictions: the ProB model checker with nauty symmetry reduction cannot be used for applications with nontrivial military significance. -For availability of commercial support, please contact Michael Leuschel (http://www.stups.uni-duesseldorf.de/~leuschel/). +For availability of commercial support, please contact Michael Leuschel (http://www.stups.uni-duesseldorf.de/~leuschel). # Bugs Please report bugs and feature requests at https://probjira.atlassian.net