View | Details | Raw Unified | Return to bug 216080
Collapse All | Expand All

(-)include/sat/reach.h (-1 / +1 lines)
Lines 22-28 Link Here
22 
bool exists_file(const std::string& filename)
 22 
bool exists_file(const std::string& filename)
23 
{
 23 
{
24 
  std::ifstream from(filename.c_str());
 24 
  std::ifstream from(filename.c_str());
25 
  return (from);
 25 
  return !from.fail();
26 
}
 26 
}
27 

          27
          

        

        

          28
          
namespace sat {

          28
          
namespace sat {

        






  

  Return to bug 216080