kovzol
diff --git a/‎qt/Aris.pro
-95 b/‎qt/Aris.pro
-95
diff --git a/‎qt/auxconnector.cpp
+1-1 b/‎qt/auxconnector.cpp
+1-1
@@ -215,7 +215,7 @@ void auxConnector::wasmImportProof(ProofData *pd, const Connector *c, ProofModel
 #ifndef Q_OS_WASM
 void auxConnector::newWindow()
 {
-    QString program = "./Aris";
+    QString program = "./aris-qt";
     QStringList arguments;
 
     QProcess *myProcess = new QProcess(this);
Original file line number	Diff line number	Diff line change
`@@ -215,7 +215,7 @@ void auxConnector::wasmImportProof(ProofData pd, const Connector c, ProofModel`
`215`	`215`	`#ifndef Q_OS_WASM`
`216`	`216`	`void auxConnector::newWindow()`
`217`	`217`	`{`
`218`		`- QString program = "./Aris";`
	`218`	`+ QString program = "./aris-qt";`
`219`	`219`	`QStringList arguments;`
`220`	`220`
`221`	`221`	`QProcess *myProcess = new QProcess(this);`