diff options
Diffstat (limited to 'theories/Numbers/Integer/SpecViaZ/ZSig.v')
| -rw-r--r-- | theories/Numbers/Integer/SpecViaZ/ZSig.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/theories/Numbers/Integer/SpecViaZ/ZSig.v b/theories/Numbers/Integer/SpecViaZ/ZSig.v index 788ca8e56..9981fab71 100644 --- a/theories/Numbers/Integer/SpecViaZ/ZSig.v +++ b/theories/Numbers/Integer/SpecViaZ/ZSig.v @@ -128,4 +128,4 @@ Module Type ZType_Notation (Import Z:ZType). Infix "<" := lt. End ZType_Notation. -Module Type ZType' := ZType <+ ZType_Notation.
\ No newline at end of file +Module Type ZType' := ZType <+ ZType_Notation. |