diff options
author | Jason Gross <jagro@google.com> | 2018-06-28 20:18:29 -0400 |
---|---|---|
committer | Jason Gross <jasongross9@gmail.com> | 2018-07-03 19:28:55 -0400 |
commit | 3dc7995701163ac042bcbe222d159746b7843b7d (patch) | |
tree | 33ddb890e2a28392ee60017979d6e7307c1542dd /src | |
parent | 62b2715c0929d5f48563d4deaac80f54368bc827 (diff) |
Add missing space
Diffstat (limited to 'src')
-rw-r--r-- | src/Experiments/NewPipeline/CLI.v | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Experiments/NewPipeline/CLI.v b/src/Experiments/NewPipeline/CLI.v index abcf70f1b..79189637b 100644 --- a/src/Experiments/NewPipeline/CLI.v +++ b/src/Experiments/NewPipeline/CLI.v @@ -134,7 +134,7 @@ Module ForExtraction. let header := ((["/* Autogenerated */"; "/* curve description: " ++ curve_description ++ " */"; - "/* requested operations: " ++ show_requests ++ "*/"; + "/* requested operations: " ++ show_requests ++ " */"; "/* n = " ++ show false n ++ " (from """ ++ str_n ++ """) */"; "/* s = " ++ Hex.show_Z false s ++ " (from """ ++ str_s ++ """) */"; "/* c = " ++ show false c ++ " (from """ ++ str_c ++ """) */"; @@ -231,7 +231,7 @@ Module ForExtraction. let header := ((["/* Autogenerated */"; "/* curve description: " ++ curve_description ++ " */"; - "/* requested operations: " ++ show_requests ++ "*/"; + "/* requested operations: " ++ show_requests ++ " */"; "/* s = " ++ Hex.show_Z false s ++ " (from """ ++ str_s ++ """) */"; "/* c = " ++ show false c ++ " (from """ ++ str_c ++ """) */"; "/* machine_wordsize = " ++ show false machine_wordsize ++ " (from """ ++ str_machine_wordsize ++ """) */"; |