diff --git a/src/heuristic.c b/src/heuristic.c index c9016c6..afee448 100644 --- a/src/heuristic.c +++ b/src/heuristic.c @@ -429,7 +429,7 @@ select_goal_random (const System sys) } else { - return NULL; + return (Binding) NULL; } } @@ -452,5 +452,5 @@ select_goal (const System sys) } error ("Unknown value (<0) for --goal-select."); } - return NULL; + return (Binding) NULL; }