diff options
Diffstat (limited to 'src/hls/GiblePargen.v')
-rw-r--r-- | src/hls/GiblePargen.v | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/hls/GiblePargen.v b/src/hls/GiblePargen.v index 3ccb765..778e0cd 100644 --- a/src/hls/GiblePargen.v +++ b/src/hls/GiblePargen.v @@ -40,9 +40,9 @@ Import NE.NonEmptyNotation. #[local] Open Scope pred_op. (*| -========= -RTLPargen -========= +==================== +Gible Par Generation +==================== Abstract Computations ===================== |