[PATCH] Fix regression introduced in r205566.

[Shankar Kalpathi Easwaran]

================
Comment at: lib/Core/Resolver.cpp:66-68
@@ -69,1 +65,5 @@
+  llvm::dbgs() << "undefAdded: " << undefAdded << "\n";
+  if (undefAdded) {
+    _context.getInputGraph().notifyProgress();
+  }
 }
----------------
it looks like notifyProgress is called only if there is a undefined atom added, can we do it in doUndefinedAtom ? This way there would be no need to change much.

http://reviews.llvm.org/D3734