From e29cc2f8e62eaaa1f74d6df1cb3ce406db88fa96 Mon Sep 17 00:00:00 2001
From: Krystine Sherwin <93062060+KrystalDelusion@users.noreply.github.com>
Date: Thu, 20 Nov 2025 09:08:33 +1300
Subject: [PATCH] Docs: Drop unsupported syntax highlighting

So that it doesn't raise a warning-as-error.
---
 docs/source/verific.rst | 1 -
 1 file changed, 1 deletion(-)

diff --git a/docs/source/verific.rst b/docs/source/verific.rst
index 224a5e3..81b20d5 100644
--- a/docs/source/verific.rst
+++ b/docs/source/verific.rst
@@ -151,7 +151,6 @@ by a SystemVerilog file ``formal_bind.sv``.
 .. _vhd_example: https://github.com/YosysHQ/sby/tree/master/docs/examples/vhd
 
 .. literalinclude:: ../examples/vhd/formal_bind.sby
-  :language: yoscrypt
   :start-after: [script]
   :end-before: [files]
   :caption: ``formal_bind.sby`` script section