diff --git a/docs/source/appendix/auxprogs.rst b/docs/source/appendix/auxprogs.rst
index b6defbe80..05a2c646d 100644
--- a/docs/source/appendix/auxprogs.rst
+++ b/docs/source/appendix/auxprogs.rst
@@ -38,7 +38,6 @@ two.
 
 .. literalinclude:: /temp/yosys-abc
     :start-at: usage
-    :end-before: UC Berkeley
 
 yosys-smtbmc
 ------------