Remove logging in Main.re

Author: sxprz

src/Main.re

@@ -49,8 +49,6 @@ let make = (~cil, ~goblint, ~warnings, ~meta, ~stats, ~file_loc) => {
   );
 
   let parameters = state |> ParameterUtils.getParameters;
-  Util.log(parameters);
-
   let destructuredParameters = parameters |> ParameterUtils.concatParameters;
   let (history, setHistory) = React.useState(_ => [|(destructuredParameters, Time.getLocalTime(), ParameterView.Executed)|]);