From fb6cc0dff7f2b0843ac43e28bb3791d73c4d167b Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Sun, 10 Apr 2016 14:11:49 +0200 Subject: [PATCH] * doc/org/concepts.org: Fix reference to BuDDy. --- doc/org/concepts.org | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/doc/org/concepts.org b/doc/org/concepts.org index ab59d75ce..847975308 100644 --- a/doc/org/concepts.org +++ b/doc/org/concepts.org @@ -952,7 +952,8 @@ The Spot project can be broken down into several parts, as shown above. Orange boxes are C/C++ libraries. Red boxes are command-line program. Blue boxes are Python-related. - - =libbddx= is a customized version of [[http://sourceforge.net/projects/buddy/][the BuDDy library]], for manipulating [[#bdd][BDDs]]. + - =libbddx= is a customized version of [[https://sourceforge.net/projects/buddy/][the BuDDy library]], for + manipulating [[#bdd][BDDs]]. - =libspot= is the main library, containing a C++11 implementation of all the data structures and algorithms. This depends on =libddx=. - all the supplied [[file:tools.org][command-line tools]] are built upon the =libspot=