summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
Diffstat (limited to 'doc')
-rw-r--r--doc/ale-supported-languages-and-tools.txt1
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/ale-supported-languages-and-tools.txt b/doc/ale-supported-languages-and-tools.txt
index 3e9b4c1e..8d142721 100644
--- a/doc/ale-supported-languages-and-tools.txt
+++ b/doc/ale-supported-languages-and-tools.txt
@@ -483,6 +483,7 @@ Notes:
* VALA
* `uncrustify`
* Verilog
+ * `hdl-checker`
* `iverilog`
* `verilator`
* `vlog`