Fix handling of "restrict" in Verific front-end
authorClifford Wolf <clifford@clifford.at>
Mon, 21 Oct 2019 10:39:28 +0000 (12:39 +0200)
committerClifford Wolf <clifford@clifford.at>
Mon, 21 Oct 2019 10:39:28 +0000 (12:39 +0200)
commit4033ff8c2ed2d312b0dc54940502c6ff9c34ebe7
tree5ae077bff5b2f772005a9e7e37157cea4a1ef1f3
parentfa989e59e5a37d804d8a82050e022b8f4b7070d8
Fix handling of "restrict" in Verific front-end

Signed-off-by: Clifford Wolf <clifford@clifford.at>
frontends/verific/verific.cc