search

codeaudit / alchemy-2

Automatically exported from code.google.com/p/alchemy-2
0 stars 0 forks source link

Assertion `typeId == vgt->typeId' failed." #5

Open GoogleCodeExporter opened 8 years ago

GoogleCodeExporter commented 8 years ago 
What steps will reproduce the problem?
1. learnwts: ../src/logic/clause.h:1186: static void Clause::addVarId(Term* 
const&, const int&, const Domain* const&, Array<VarsGroundedType*>*&): 
Assertion `typeId == vgt->typeId' failed.
Aborted
2.
3.

What is the expected output? What do you see instead?

What version of the product are you using? On what operating system?

Please provide any additional information below.

Original issue reported on code.google.com by wyuanyua...@gmail.com on 3 Dec 2013 at 2:15

Attachments: