# Det/1 isn't cleared by reconsult - warning message from check/0

**URL:** <https://swi-prolog.discourse.group/t/det-1-isnt-cleared-by-reconsult-warning-message-from-check-0/3883>\
**Category:** Discussion\
**Tags:** bug\
**Created:** [April 28, 2021, 5:17pm UTC](https://swi-prolog.discourse.group/t/det-1-isnt-cleared-by-reconsult-warning-message-from-check-0/3883 "2021-04-28T17:17:32Z")\
**Posts on this page:** 2\
**Page:** 1

<div class="post-metadata">

**Author:** ![peter.ludemann](https://yyz2.discourse-cdn.com/free1/user_avatar/swi-prolog.discourse.group/peter.ludemann/32/48_2.png) [@peter.ludemann](https://swi-prolog.discourse.group/u/peter.ludemann)\
**Post date:** [April 28, 2021, 5:17pm UTC](https://swi-prolog.discourse.group/t/det-1-isnt-cleared-by-reconsult-warning-message-from-check-0/3883/1 "2021-04-28T17:17:32Z")

</div>

Example:

```prolog
:- det(foo/1).
foo(1).

```

and then change the code to

```prolog
:- det(foo/2).
foo(1,a).

```

re-consult produces a bogus error message from check/0:

```prolog
?- make.
% /tmp/foo compiled 0.00 sec, 0 clauses
Warning: foo/1 is declared as det, but has no clauses
true.

```

---

<div class="post-metadata">

**Author:** ![jan](https://yyz2.discourse-cdn.com/free1/user_avatar/swi-prolog.discourse.group/jan/32/4_2.png) [@jan](https://swi-prolog.discourse.group/u/jan)\
**Post date:** [April 29, 2021, 10:22am UTC](https://swi-prolog.discourse.group/t/det-1-isnt-cleared-by-reconsult-warning-message-from-check-0/3883/2 "2021-04-29T10:22:06Z")

</div>

Thanks. Should be fixed with b4fcc4483d4457cfd142520206c02d211875556a