diff options
Diffstat (limited to 'bindings/java/src/java/com/galois/ppaml')
-rw-r--r-- | bindings/java/src/java/com/galois/ppaml/tracer/package-info.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bindings/java/src/java/com/galois/ppaml/tracer/package-info.java b/bindings/java/src/java/com/galois/ppaml/tracer/package-info.java index 7c0d6e5..928e452 100644 --- a/bindings/java/src/java/com/galois/ppaml/tracer/package-info.java +++ b/bindings/java/src/java/com/galois/ppaml/tracer/package-info.java @@ -74,7 +74,7 @@ * * @author Galois, Inc. * - * @version 0.1.0 + * @version 0.2.0 */ package com.galois.ppaml.tracer; |