diff options
| author |  Jason Gross <jgross@mit.edu> | 2018-06-17 22:01:51 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2018-06-17 22:01:51 -0400 |
| commit | 932bbb55949ade7fae7947909f09fd7ff0c9be47 (patch) | |
| tree | 439d006d536661fc3fff1760d35e36a5b1b79d11 /src/Util/Strings/String.v | |
| parent | 037df57566b1108af0d13cfcafe9b0f8fdd5937b (diff) | |
Add ShowLines
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 ""). |