# HG changeset patch
# User wenzelm
# Date 1677442598 -3600
# Node ID 4a7c42c847434d57fb30980d06778f95a2b9c982
# Parent  ef6673859c38635b95dac75a63cb2e9423f81908
proper filterNot, not filterNot-not;

diff -r ef6673859c38 -r 4a7c42c84743 src/Pure/Tools/build_process.scala
--- a/src/Pure/Tools/build_process.scala	Sun Feb 26 21:05:39 2023 +0100
+++ b/src/Pure/Tools/build_process.scala	Sun Feb 26 21:16:38 2023 +0100
@@ -399,7 +399,7 @@
 
     def update_results(db: SQL.Database, results: Map[String, Build_Process.Result]): Boolean = {
       val old_results = read_results_name(db)
-      val insert = results.iterator.filterNot(p => !old_results.contains(p._1)).toList
+      val insert = results.iterator.filterNot(p => old_results.contains(p._1)).toList
 
       for ((name, result) <- insert) {
         val node_info = result.node_info