diff options
Diffstat (limited to 'theories/Relations/Relation_Operators.v')
| -rwxr-xr-x | theories/Relations/Relation_Operators.v | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/theories/Relations/Relation_Operators.v b/theories/Relations/Relation_Operators.v index 1944b60cdb..546d97f90b 100755 --- a/theories/Relations/Relation_Operators.v +++ b/theories/Relations/Relation_Operators.v @@ -11,7 +11,6 @@ Require Relation_Definitions. Require PolyList. -Require PolyListSyntax. (* Some operators to build relations *) |