[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 !?