From baa2351bab03069e022950b7c4397994e0350650 Mon Sep 17 00:00:00 2001 From: Ioannis Filippidis Date: Sun, 13 Feb 2022 04:30:53 +0100 Subject: [PATCH] DOC: shorten line --- dd/dddmp.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/dd/dddmp.py b/dd/dddmp.py index 3a291da3..de259d65 100644 --- a/dd/dddmp.py +++ b/dd/dddmp.py @@ -472,7 +472,8 @@ def load(fname): To avoid blanks, the levels are re-indexed here. This has no effect if `.orderedvarnames` appears in the file. - DDDMP files are dumped by [CUDD](http://vlsi.colorado.edu/~fabio/CUDD/). + DDDMP files are dumped by [CUDD]( + http://vlsi.colorado.edu/~fabio/CUDD/). """ parser = Parser() bdd_succ, n_vars, levels, roots = parser.parse(fname)