style reverted

Author: nmacedo

org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/translator/A4Solution.java

@@ -1608,8 +1608,7 @@ public void skolemizing(Decl decl, Relation skolem, List<Decl> predecl) {
                         t = pp.product(t);
                     }
                     kr2type(skolem, t);
-                } catch (Throwable ex) {
-                } // Exception here is not fatal
+                } catch (Throwable ex) {} // Exception here is not fatal
             }
 
             @Override
@@ -1709,13 +1708,11 @@ public synchronized void solvingCNF(int step, int primaryVars, int vars, int cla
                     if (opt.coreMinimization == 0)
                         try {
                             p.minimize(new RCEStrategy(p.log()));
-                        } catch (Throwable ex) {
-                        }
+                        } catch (Throwable ex) {}
                     if (opt.coreMinimization == 1)
                         try {
                             p.minimize(new HybridStrategy(p.log()));
-                        } catch (Throwable ex) {
-                        }
+                        } catch (Throwable ex) {}
                     rep.minimized(cmd, i, p.highLevelCore().size());
                 }
                 for (Iterator<TranslationRecord> it = p.core(); it.hasNext();) {