From 7d330df9472dcc61a133388de0d4ddf59b537fc6 Mon Sep 17 00:00:00 2001
From: Lukasz Czajka <lukasz@heliax.dev>
Date: Mon, 4 Jul 2022 17:21:11 +0200
Subject: [PATCH] remove HelloWorld test

---
 test/Scope/Positive.hs | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/test/Scope/Positive.hs b/test/Scope/Positive.hs
index 562544901..146b0b79f 100644
--- a/test/Scope/Positive.hs
+++ b/test/Scope/Positive.hs
@@ -160,11 +160,6 @@ tests =
       "."
       StdlibExclude
       "Literals.mjuvix",
-    PosTest
-      "Hello World backends"
-      "."
-      StdlibExclude
-      "HelloWorld.mjuvix",
     PosTest
       "Axiom with backends"
       "."