From bca7a9c450619880df01f07404382adf47d2139a Mon Sep 17 00:00:00 2001 From: Thomas Ferreira de Lima Date: Fri, 7 Jun 2024 15:45:41 -0400 Subject: [PATCH] Update drc_basic.xml Fixing report argument. --- src/doc/doc/manual/drc_basic.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/doc/doc/manual/drc_basic.xml b/src/doc/doc/manual/drc_basic.xml index a5f0cc756..7cd22cb4d 100644 --- a/src/doc/doc/manual/drc_basic.xml +++ b/src/doc/doc/manual/drc_basic.xml @@ -305,7 +305,7 @@ input(1, 0).sized(200.nm).output(10, 0)
 source("input.gds")
-report("out.lyrdb")
+report("Output Database", "out.lyrdb")
 input(1, 0).sized(200.nm).output("sized")