From 4bdfcd45493ac55d32965c553059300b98199ea1 Mon Sep 17 00:00:00 2001 From: Matthias Koefferlein Date: Wed, 18 Oct 2023 20:55:18 +0200 Subject: [PATCH] Fixed issue #1511 (typo) --- src/doc/doc/manual/drc_runsets.xml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/doc/doc/manual/drc_runsets.xml b/src/doc/doc/manual/drc_runsets.xml index 7642c4c16..4e3274524 100644 --- a/src/doc/doc/manual/drc_runsets.xml +++ b/src/doc/doc/manual/drc_runsets.xml @@ -444,8 +444,7 @@ output(w, "width violations") | (or), - (not), ^ (xor), - + (xor), - join + + (join),
  • Sizing:
    size,