From 882aaf769ea6354d73784afdf2e386f4ffa368eb Mon Sep 17 00:00:00 2001
From: Maria Kotsifakou <kotsifakou.maria@gmail.com>
Date: Mon, 13 Jan 2025 15:30:43 -0600
Subject: [PATCH] Temporarily removed test that runs with the CF for the LLVM
 backend GC policy enabled.

---
 test/defn/imp.kore | 2 --
 1 file changed, 2 deletions(-)

diff --git a/test/defn/imp.kore b/test/defn/imp.kore
index bccd8575e..4ac67067f 100644
--- a/test/defn/imp.kore
+++ b/test/defn/imp.kore
@@ -1,8 +1,6 @@
 // RUN: %interpreter
 // RUN: %check-grep
 // RUN: %check-statistics
-// RUN: %gcs-interpreter
-// RUN: %check-grep
 // RUN: %proof-interpreter
 // RUN: %check-proof-out
 [topCellInitializer{}(LblinitGeneratedTopCell{}()), org'Stop'kframework'Stop'attributes'Stop'Source{}("Source(/home/robertorosmaninho/rv/k/llvm-backend/src/main/native/llvm-backend/test/defn/k-files/imp.md)")]