Remove quotes if any from attribute
authorMiodrag Milanovic <mmicko@gmail.com>
Wed, 16 Feb 2022 18:10:13 +0000 (19:10 +0100)
committerMiodrag Milanovic <mmicko@gmail.com>
Wed, 16 Feb 2022 18:10:13 +0000 (19:10 +0100)
commit29293a57bb02f40a17015a071380fde4c8a638d1
treeb849191511ec07982e8c09a2d9672e55a84b071a
parent15860000487e2d6748843888b78289f95f3ea46b
Remove quotes if any from attribute
frontends/verific/verific.cc