1 files changed, 1 insertions, 4 deletions

diff --git a/builtins.c b/builtins.c
index 6dda64f..cdea48a 100644
--- a/builtins.c
+++ b/builtins.c
@@ -1120,14 +1120,11 @@ assertclause(Term *clause, Module *module, int after, int dynamic)
 		body = mkatom(L"true");
 	}
 
-	if(body->tag == VariableTerm)
-		body = mkcompound(L"call", 1, body);
-
 	if(head->tag == VariableTerm)
 		Throw(instantiationerror());
 	if(head->tag != AtomTerm && head->tag != CompoundTerm)
 		Throw(typeerror(L"callable", head));
-	if(body->tag != AtomTerm && body->tag != CompoundTerm)
+	if(body->tag != AtomTerm && body->tag != CompoundTerm && body->tag != VariableTerm)
 		Throw(typeerror(L"callable", body));
 
 	Rune *name = head->text;