diff options
Diffstat (limited to 'sci-mathematics/smtinterpol/files/smtinterpol-Version.template-version.patch')
| -rw-r--r-- | sci-mathematics/smtinterpol/files/smtinterpol-Version.template-version.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/sci-mathematics/smtinterpol/files/smtinterpol-Version.template-version.patch b/sci-mathematics/smtinterpol/files/smtinterpol-Version.template-version.patch new file mode 100644 index 000000000000..b6c5971be7ea --- /dev/null +++ b/sci-mathematics/smtinterpol/files/smtinterpol-Version.template-version.patch @@ -0,0 +1,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 |