• branch=trunk inherited from [16f0b5784f]
• sym-trunk inherited from [16f0b5784f]

Modified src/cui_auto_main.d from [8844bb07a00188c5] to [b38d60ea39d11e6e].

   15          }                                                                             15          }
   16  }                                                                                     16  }
   17                                                                                        17  
   18  void main(string[] args)                                                              18  void main(string[] args)
   19  {                                                                                     19  {
   20          Driver d = new Driver(stdin);                                                 20          Driver d = new Driver(stdin);
   21          d.addObserver!(GuardedOutput)();                                              21          d.addObserver!(GuardedOutput)();
   22          auto c = d.addObserver!(CUI!Solver_1)();                                 |    22          auto c = d.addObserver!(CUI!MainSolver)();
   23          while(!c.fin)                                                                 23          while(!c.fin)
   24                  d.command(c.solver.single_step());                                    24                  d.command(c.solver.single_step());
   25  }                                                                                     25  }

Modified src/gui_main.d from [49f16753320613b8] to [05082d0f328d756c].

    5  import std.stdio;                                                                      5  import std.stdio;
    6  pragma(lib, "dfl.lib");                                                                6  pragma(lib, "dfl.lib");
    7                                                                                         7  
    8  void main(string[] args)                                                               8  void main(string[] args)
    9  {                                                                                      9  {
   10          Driver d = new Driver(stdin);                                                 10          Driver d = new Driver(stdin);
   11          d.addObserver!(GuardedOutput)();                                              11          d.addObserver!(GuardedOutput)();
   12          auto g = d.addObserver!(GUI!Solver_1)();                                 |    12          auto g = d.addObserver!(GUI!MainSolver)();
   13          g.set_fn(&d.command);                                                         13          g.set_fn(&d.command);
   14          g.run();                                                                      14          g.run();
   15  }                                                                                     15  }

Modified src/solver.d from [7cfac19f78d8844c] to [69c19d5fe197eaad].

  227                                  q = q2;                                              227                                  q = q2;
  228                          }                                                            228                          }
  229                          return [];                                                   229                          return [];
  230                  }                                                                    230                  }
  231                  return (danger_ok ? [] : tryA()) ~ tryB() ~ tryC();                  231                  return (danger_ok ? [] : tryA()) ~ tryB() ~ tryC();
  232          }                                                                            232          }
  233  }                                                                                    233  }
                                                                                        >   234  
                                                                                        >   235  alias Solver_1 MainSolver;