diff options
Diffstat (limited to 'src/Util/Strings/String.v')
| -rw-r--r-- | src/Util/Strings/String.v | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/Util/Strings/String.v b/src/Util/Strings/String.v index f88d917b6..3661d816f 100644 --- a/src/Util/Strings/String.v +++ b/src/Util/Strings/String.v @@ -282,3 +282,5 @@ Proof. apply f_equal; auto. } { Abort. + +Notation NewLine := (String Ascii.NewLine ""). |