- some fixes here and there

This commit is contained in:
Martin Willi
2006-02-09 16:25:02 +00:00
parent dfa6e086a0
commit 5b97779f66
10 changed files with 126 additions and 26 deletions
+1 -1
View File
@@ -250,7 +250,7 @@ int main()
//tester->perform_tests(tester,all_tests);
tester->perform_test(tester,&child_proposal_test);
tester->perform_test(tester,&kernel_interface_test);
tester->destroy(tester);