Skip to content
Snippets Groups Projects
Commit 9123dbd1 authored by Régis Blanc's avatar Régis Blanc
Browse files

moved Annotation to subproject as well

parent 74fdcc5e
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/main/scala/leon/Annotations.scala → library/Annotations.scala
+ 0
− 0
View file @ 9123dbd1
File moved
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment