annotation_dashboard/commit

MINOR: cleanup unused modules

author	Jacco van Ossenbruggen
	Sun Sep 21 15:54:51 2014 +0200
committer	Jacco van Ossenbruggen
	Sun Sep 21 15:54:51 2014 +0200
commit	14fc5a9993bf1dca51175fa901d827b99956583b
tree	7ac79e9900bdbe468b858520900754d3588470fa
parent	cd9f4820f907de4001ffbccb06411694f4203a87

Diff style: patch stat

diff --git a/components/dashboard/show_objects.pl b/components/dashboard/show_objects.pl
index a0cec9b..f5028a5 100644
--- a/components/dashboard/show_objects.pl
+++ b/components/dashboard/show_objects.pl
@@ -10,7 +10,6 @@
 :- use_module(library(oa_annotation)).
 :- use_module(applications(annotation)).
 :- use_module(components(dashboard/show_annotations)).
-:- use_module(components(dashboard/show_option_list)).
 :- use_module(library(dashboard_util)).
 
 show_objects(Targets,Options) -->