From 0aab07cd933cc5fe2952a6fcf9a35a4eb1e2208c Mon Sep 17 00:00:00 2001
From: Columbus240 <8899730+Columbus240@users.noreply.github.com>
Date: Thu, 28 Sep 2023 08:14:19 +0200
Subject: [PATCH] Sort _CoqProject file

---
 _CoqProject | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/_CoqProject b/_CoqProject
index b8dfcf7e..4cf60728 100644
--- 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