removed rg.ss from the provided things for now
svn: r11022
This commit is contained in:
parent
af98ac3981
commit
95965f54cb
|
@ -7,7 +7,7 @@
|
|||
"private/rg.ss"
|
||||
"private/loc-wrapper.ss")
|
||||
|
||||
(provide (all-from-out "private/rg.ss"))
|
||||
#;(provide (all-from-out "private/rg.ss"))
|
||||
|
||||
(provide reduction-relation
|
||||
--> fresh with ;; keywords for reduction-relation
|
||||
|
|
Loading…
Reference in New Issue
Block a user