Database.Native: also reset annotations in resetDB

59e9b971 · Camil Staps · 2ba2e4ee · 59e9b971
Verified Commit 59e9b971 authored Oct 11, 2018 by Camil Staps 🚀
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

src/libraries/OS-Independent/Database/Native.icl src/libraries/OS-Independent/Database/Native.icl +1 -1

No files found.
--- a/src/libraries/OS-Independent/Database/Native.icl
+++ b/src/libraries/OS-Independent/Database/Native.icl
@@ -66,7 +66,7 @@ where
 	upd -1 es = es
 	upd i  es
 	# (e,es) = es![i]
-	= upd (i-1) {es & [i]={e & included=True}}
+	= upd (i-1) {es & [i]={e & included=True, annotations=newMap}}

 allEntries :: !*(NativeDB v ak a) -> *(![v], !*NativeDB v ak a)
 allEntries (DB db)