Don't call getchar on error.

PiperOrigin-RevId: 752680097
Change-Id: Idce87a3e33ebce703bf3eedc18026f6a13d05f35

src/engine/engine_util_errmem.c

@@ -123,10 +123,9 @@ void mju_error_raw(const char* msg) {
   } else {
     // write to log and console
     mju_writeLog("ERROR", msg);
-    printf("ERROR: %s\n\nPress Enter to exit ...", msg);
+    printf("ERROR: %s\n\n", msg);
 
-    // pause, exit
-    getchar();
+    // exit
     exit(EXIT_FAILURE);
   }
 }