1 files changed, 2 insertions, 2 deletions
diff --git a/src/rdf.cc b/src/rdf.cc
index f818bfb..5de7c05 100644
--- a/src/rdf.cc
+++ b/src/rdf.cc
@@ -103,8 +103,8 @@ namespace Formaline
     const string user = clean (getenv ("USER"));
 #endif
     char** argv;
-    CCTK_CommandLine (&argv);
-    const string executable = clean (argv[0]);
+    const int argc = CCTK_CommandLine (&argv);
+    const string executable = clean (argc >= 1 ? argv[0] : "");
     const string version = clean (CCTK_FullVersion ());
     const string compiled_at (clean (CCTK_CompileDateTime ()));
     char* rundatebuf = Util_CurrentDateTime ();