diff options
Diffstat (limited to 'src/Compiler.v')
-rw-r--r-- | src/Compiler.v | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Compiler.v b/src/Compiler.v index 056e404..ff0938e 100644 --- a/src/Compiler.v +++ b/src/Compiler.v @@ -69,6 +69,7 @@ Require vericert.hls.RTLParFUgen. Require vericert.hls.HTLPargen. Require vericert.hls.Pipeline. Require vericert.hls.IfConversion. +(*Require vericert.hls.PipelineOp.*) Require vericert.HLSOpts. Require vericert.hls.Memorygen. |