# HG changeset patch
# User wenzelm
# Date 1178638895 -7200
# Node ID 9b21fa38a3cf17e8f49867fad94525776915aec9
# Parent  58fcd4f9068a6a9bedb37adae4d748775595814e
quoted 'declaration';

diff -r 58fcd4f9068a -r 9b21fa38a3cf Admin/Benchmarks/HOL-datatype/Verilog.thy
--- a/Admin/Benchmarks/HOL-datatype/Verilog.thy	Tue May 08 17:40:22 2007 +0200
+++ b/Admin/Benchmarks/HOL-datatype/Verilog.thy	Tue May 08 17:41:35 2007 +0200
@@ -14,7 +14,7 @@
      | Source_textMeta string
 and
   Module_item
-     = declaration Declaration
+     = "declaration" Declaration
      | initial Statement
      | always Statement
      | assign Lvalue Expression