Permalink
Browse files

[doc] Db: intamp_fold_range

  • Loading branch information...
1 parent 70ad914 commit 428df141b42f33db89756a0b7ae9462ee42623e3 @Aqua-Ye Aqua-Ye committed Jan 18, 2012
Showing with 1 addition and 2 deletions.
  1. +1 −2 stdlib/core/db/db.opa
View
3 stdlib/core/db/db.opa
@@ -1,5 +1,5 @@
/*
- Copyright © 2011 MLstate
+ Copyright © 2011, 2012 MLstate
This file is part of OPA.
@@ -179,7 +179,6 @@ Db = {{
* @param [filter] which keys are accepted for the fold. (x -> {true}) is all the keys of the map
* are accepted.
*/
-
intmap_fold_range = %%path_intmap_fold_range%%
stringmap_fold_range = %%path_stringmap_fold_range%%

0 comments on commit 428df14

Please sign in to comment.