From: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Date: Fri, 8 May 2009 19:54:54 +0000 (-0400)
Subject: formal verif : move bits produced declarations closer to processes
X-Git-Tag: v0.1~247
X-Git-Url: https://git.liburcu.org/?a=commitdiff_plain;h=3db2d75b432e617014976239f694b91de2bc0d7d;hp=3db2d75b432e617014976239f694b91de2bc0d7d;p=urcu.git

formal verif : move bits produced declarations closer to processes

Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
---