search

snu-sf-class / pl2015spring

SNU 4190.310, 2015 Spring
11 stars 6 forks source link

Errors when importing #45

Closed amityaffliction closed 9 years ago

amityaffliction commented 9 years ago

line 3 in Assignment03.v "Require Import Basics." makes error

"Error: The file somepath/y/theories/Program/Basics.vo contains library Coq.Program.Basics and not library theories.Program.Basics"

is there any ways i can solve them??