Browse Source

added many missing mutable_'s and added declaration for dummy_cons

[SVN r15511]
Jeremy Siek 23 years ago
parent
commit
4ed2870b7f
1 changed files with 1 additions and 1 deletions
  1. 1 1
      libs/concept_check

+ 1 - 1
libs/concept_check

@@ -1 +1 @@
-Subproject commit 302fc5d967ce0f9be10ee10559395fd00abdec1b
+Subproject commit 1bfc77aa92d6aa5379b2944fcf30b6aa3ebd6bf5

粤ICP备19079148号