diff --git a/backends/functional/smtlib_rosette.cc b/backends/functional/smtlib_rosette.cc
index 601f311af96..f2395374799 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";
 		}