diff --git a/src/sim/pseudo_inst.cc b/src/sim/pseudo_inst.cc
index 7335fda4e7..6970120036 100644
--- a/src/sim/pseudo_inst.cc
+++ b/src/sim/pseudo_inst.cc
@@ -103,7 +103,7 @@ const std::string DIST_SIZE = "dist-size";
 static inline void
 panicFsOnlyPseudoInst(const char *name)
 {
-    panic("Pseudo inst \"%s\" is only available in Full System mode.");
+    panic("Pseudo inst \"%s\" is only available in Full System mode.", name);
 }
 
 void