From 05fa6c6b8b8cc282f4691659f9ee3d23f27f3d00 Mon Sep 17 00:00:00 2001
From: Stefan Ellmauthaler <71695780+ellmau@users.noreply.github.com>
Date: Thu, 27 Jan 2022 13:06:03 +0100
Subject: [PATCH] removed unintended autotest

---
 src/lib.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/lib.rs b/src/lib.rs
index 5a11377..6a3a788 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -9,7 +9,7 @@
 //! Due to this uniform representation reductions on subformulae which are shared by two or more statements only need to be computed once and is already cached in the data structure for further applications.
 //!
 //! # Usage
-//! ```
+//! ```plain
 //! USAGE:
 //!     adf_bdd [FLAGS] [OPTIONS] <input>
 //!