Make PMachines in java generated code serializable

mchadalavada · May 20, 2024 · 9bc0184 · 9bc0184
1 parent 84d01d3
commit 9bc0184
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Src/PCompiler/CompilerCore/Backend/Java/MachineGenerator.cs b/Src/PCompiler/CompilerCore/Backend/Java/MachineGenerator.cs
@@ -76,7 +76,7 @@ private void WriteMonitorDecl()
         {
             var cname = Names.GetNameForDecl(_currentMachine);
 
-            WriteLine($"public static class {cname} extends prt.Monitor<{cname}.{Constants.StateEnumName}> {{");
+            WriteLine($"public static class {cname} extends prt.Monitor<{cname}.{Constants.StateEnumName}> implements Serializable {{");
 
             WriteLine();
             WriteSupplierCDef(cname);