chore: Update MPL to 1.3.0

lucasmcdonald3 · lucasmcdonald3 · commit cd5195017a4d · 2024-04-26T15:16:03.000-07:00
diff --git a/project.properties b/project.properties
@@ -1,4 +1,4 @@
 projectJavaVersion=3.3.0
-mplDependencyJavaVersion=1.2.0
+mplDependencyJavaVersion=1.3.0
 dafnyRuntimeJavaVersion=4.2.0
 smithyDafnyJavaConversionVersion=0.1
