[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS-Help] error in importing theory


I have a pvs file with a theory that imports another file. When I use type checking for this theory , it gives me this error :
Can't find file for theory impl__min__min

In my pvs file I have this line of code : importing impl__min__min

Anybody knows how I can fix this error !?

Thank you.