diff options
Diffstat (limited to 'theories/Numbers/Natural')
| -rw-r--r-- | theories/Numbers/Natural/Abstract/NProperties.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/theories/Numbers/Natural/Abstract/NProperties.v b/theories/Numbers/Natural/Abstract/NProperties.v index f59d5b1e7..2baed54cf 100644 --- a/theories/Numbers/Natural/Abstract/NProperties.v +++ b/theories/Numbers/Natural/Abstract/NProperties.v @@ -17,6 +17,6 @@ Require Export NAxioms NSub. Module Type NPropSig := NSubPropFunct. -Module NPropFunct (N:NAxiomsSig). (* <: NPropSig N. BUG !! *) +Module NPropFunct (N:NAxiomsSig) <: NPropSig N. Include Type NPropSig N. End NPropFunct. |