blob: b6c5971be7eaaa589d04b0e426935a4ca75f4658 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
index bf87cd1..6ca4533 100644
--- a/SMTInterpol/src/de/uni_freiburg/informatik/ultimate/smtinterpol/Version.template
+++ b/SMTInterpol/src/de/uni_freiburg/informatik/ultimate/smtinterpol/Version.template
@@ -23,5 +23,5 @@ package de.uni_freiburg.informatik.ultimate.smtinterpol;
* @author Jochen Hoenicke
*/
public interface Version {
- public final static String VERSION = "${version}";
+ public final static String VERSION = "0";
}
\ No newline at end of file
|