From 07b69080191c2112e817334d313e5e6d944d3a66 Mon Sep 17 00:00:00 2001
From: Krystine Sherwin <93062060+KrystalDelusion@users.noreply.github.com>
Date: Fri, 30 Aug 2024 09:56:08 +1200
Subject: [PATCH] smtr: Use rosette/safe

---
 backends/functional/smtlib_rosette.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/backends/functional/smtlib_rosette.cc b/backends/functional/smtlib_rosette.cc
index 601f311af..f23953747 100644
--- a/backends/functional/smtlib_rosette.cc
+++ b/backends/functional/smtlib_rosette.cc
@@ -287,7 +287,7 @@ struct FunctionalSmtrBackend : public Backend {
 		}
 		extra_args(f, filename, args, argidx);
 
-		*f << "#lang rosette\n";
+		*f << "#lang rosette/safe\n";
 		if (provides) {
 			*f << "(provide (all-defined-out))\n";
 		}