From 000ec35e5e9fde8059a7a301cec8a4fda5cb71de Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Thu, 18 Mar 2021 09:27:23 +0100
Subject: [PATCH] group iris_staging files

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

diff --git a/_CoqProject b/_CoqProject
index 9904cd695..fcb681128 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -170,10 +170,9 @@ iris_heap_lang/lib/array.v
 
 iris_staging/algebra/list.v
 iris_staging/base_logic/algebra.v
+iris_staging/heap_lang/interpreter.v
 
 iris_deprecated/base_logic/auth.v
 iris_deprecated/base_logic/sts.v
 iris_deprecated/base_logic/viewshifts.v
 iris_deprecated/program_logic/hoare.v
-
-iris_staging/heap_lang/interpreter.v
-- 
GitLab