From 30416d1ac796e229bf38a8b738d748bdc25d8e00 Mon Sep 17 00:00:00 2001
From: Florent Jaillet <florent.jaillet@lif.univ-mrs.fr>
Date: Wed, 21 Jun 2017 13:58:39 +0200
Subject: [PATCH] Correcting link in readme.me

---
 readme.md | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/readme.md b/readme.md
index d11bcf8..959c339 100644
--- a/readme.md
+++ b/readme.md
@@ -31,8 +31,7 @@ file format defined by the standard ISO/IEC 15909 Part 2.
 See [pnml.org](http://www.pnml.org) for details about this format.
 
 <a name="article"></a> It uses the monotone pruning algorithm proposed in the
-[article](http://pageperso.lif.univ-mrs.fr/~pierre-alain.reynier/publis/
-fi13.pdf):
+[article](http://pageperso.lif.univ-mrs.fr/~pierre-alain.reynier/publis/fi13.pdf):
 
  > Minimal Coverability Set for Petri Nets: Karp and Miller Algorithm with
  > Pruning.  
-- 
GitLab