Fix compilation

TOPLLab · Nov 26, 2024 · dadb940 · dadb940
1 parent f683c8d
commit dadb940
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 3 deletions.
diff --git a/src/Edward/proxy_supervisor.cpp b/src/Edward/proxy_supervisor.cpp
@@ -199,7 +199,7 @@ struct SerializeData *ProxySupervisor::serializeRFC(RFC *callee) {
 }
 
 void ProxySupervisor::deserializeRFCResult(RFC *rfc) {
-    nlohmann::basic_json<> call_result = this->readReply();  // blocking
+    nlohmann::basic_json<> call_result = this->readReply(rfc);  // blocking
     rfc->success = *call_result.find("success");
 
     if (rfc->type->result_count == 0) {

diff --git a/src/Interpreter/interpreter.h b/src/Interpreter/interpreter.h
@@ -57,8 +57,6 @@ class Interpreter {
 
     static void report_overflow(Module *m, uint8_t *maddr);
 
-    virtual ~Interpreter();
-
    protected:
    private:
 };