feat: update year

pikalab-unibo · Mar 29, 2023 · cea3b62 · cea3b62
1 parent a2c4319
commit cea3b62
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/.ise-lab b/.ise-lab
diff --git a/.style b/.style
diff --git a/ise-lab-inference.tex b/ise-lab-inference.tex
@@ -14,7 +14,7 @@
 % version
 \newcommand{\versionmajor}{1}
 \newcommand{\versionminor}{1}
-\newcommand{\versionpatch}{0}
+\newcommand{\versionpatch}{1}
 \newcommand{\version}{\versionmajor.\versionminor.\versionpatch}
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 \title[\currentLab{} -- Inference]{Automatic Inference on Horn Clauses}