From b0997231dcf5f99730569807f1aacae10c3f7651 Mon Sep 17 00:00:00 2001
From: JOLIMAITRE Matthieu <matthieu@imagevo.fr>
Date: Sat, 29 Jun 2024 19:20:12 +0200
Subject: [PATCH] clean

---
 surete/tp_ltl/run.sh | 12 ------------
 1 file changed, 12 deletions(-)
 delete mode 100755 surete/tp_ltl/run.sh

diff --git a/surete/tp_ltl/run.sh b/surete/tp_ltl/run.sh
deleted file mode 100755
index 139a0d5..0000000
--- a/surete/tp_ltl/run.sh
+++ /dev/null
@@ -1,12 +0,0 @@
-#!/bin/sh
-set -e
-cd "$(dirname "$(realpath "$0")")"
-
-
-if ! [ -d venv ]
-then ./setup.sh
-fi
-. venv/bin/activate
-
-
-python src/product.py