fixed minor bug due to wrong data type
fixed minor bug due to wrong data type

GKIFreiburg/gki_symbolic_planning,GKIFreiburg/gki_symbolic_planning,GKIFreiburg/gki_symbolic_planning,GKIFreiburg/gki_symbolic_planning