smtr: Use rosette/safe

YosysHQ · Aug 29, 2024 · 969f201 · 969f201
1 parent 0352503
commit 969f201
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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";
 		}