1 files changed, 1 insertions, 0 deletions
diff --git a/utils.h b/utils.h
index 28c59de..ef22b7c 100644
--- a/utils.h
+++ b/utils.h
@@ -40,5 +40,6 @@ void perform_hint_action(int hint_id, int resource_values[], int num_resources);
 void undo_hint_action(int hint_id);
 void undo_initial_hint_action();
 void release_request(int lock_handle);
+void interaction(int duration, int num_args, int opt_list[]);
 int interaction_with_handle(int lock_handle, int duration, int num_args, int opt_list[]);
 int perf_hint_enable(int hint_id, int duration);