Commit a3c4bd1e authored by Mart Lubbers's avatar Mart Lubbers

Merge branch 'fix-resetDB' into 'master'

Database.Native: also reset annotations in resetDB

See merge request !207
parents 2ba2e4ee 59e9b971
Pipeline #14925 failed with stage
in 53 seconds
......@@ -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)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment