Sort _CoqProject file

coq-community · Oct 15, 2023 · 0aab07c · 0aab07c
1 parent 95d5909
commit 0aab07c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/_CoqProject b/_CoqProject
@@ -4,6 +4,7 @@
 -arg -w -arg -deprecated-hint-rewrite-without-locality
 -arg -w -arg -deprecated-instance-without-locality
 
+theories/Topology/AdjunctionSpace.v
 theories/Topology/Compactness.v
 theories/Topology/Completeness.v
 theories/Topology/Completion.v
@@ -23,7 +24,6 @@ theories/Topology/OpenBases.v
 theories/Topology/OrderTopology.v
 theories/Topology/ProductTopology.v
 theories/Topology/QuotientTopology.v
-theories/Topology/AdjunctionSpace.v
 theories/Topology/RationalsInReals.v
 theories/Topology/RFuncContinuity.v
 theories/Topology/RTopology.v