diff options
Diffstat (limited to 'src/hls/IfConversion.v')
| -rw-r--r-- | src/hls/IfConversion.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/hls/IfConversion.v b/src/hls/IfConversion.v index 9b8f4d4..1879205 100644 --- a/src/hls/IfConversion.v +++ b/src/hls/IfConversion.v @@ -30,7 +30,7 @@ Require Import vericert.bourdoncle.Bourdoncle. Parameter build_bourdoncle : function -> (bourdoncle * PMap.t N). -(** * If conversion +(** * If-Conversion This conversion is a verified conversion from RTLBlock back to itself, which performs if-conversion on basic blocks to make basic blocks larger. *) |