diff options
Diffstat (limited to 'src/Compiler.v')
| -rw-r--r-- | src/Compiler.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Compiler.v b/src/Compiler.v index e4ab607..b907629 100644 --- a/src/Compiler.v +++ b/src/Compiler.v @@ -67,7 +67,7 @@ Require vericert.hls.RTLBlockgen. Require vericert.hls.RTLPargen. Require vericert.hls.RTLParFUgen. Require vericert.hls.HTLPargen. -Require vericert.hls.Pipeline. +(*Require vericert.hls.Pipeline.*) Require vericert.hls.IfConversion. (*Require vericert.hls.PipelineOp.*) Require vericert.HLSOpts. |