X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fuwobo%2Fsrc%2Fit%2Funibo%2Fcs%2Fhelm%2Fuwobo%2Fproperties.txt;h=debd517734cbd606b2c9cc6be05a983fc3fe2654;hb=e3d391b71f59528bd657f6a731c9250ea1d14334;hp=eb286113204c836a433f2e2e02f760131998bb67;hpb=b891e0efda6c3407d3dc861af1315a3f1309cd26;p=helm.git

diff --git a/helm/uwobo/src/it/unibo/cs/helm/uwobo/properties.txt b/helm/uwobo/src/it/unibo/cs/helm/uwobo/properties.txt
index eb2861132..debd51773 100644
--- a/helm/uwobo/src/it/unibo/cs/helm/uwobo/properties.txt
+++ b/helm/uwobo/src/it/unibo/cs/helm/uwobo/properties.txt
@@ -2,3 +2,4 @@ PACKAGE=@PACKAGE@
 VERSION=@VERSION@
 DATE=@DATE@
 TIME=@TIME@
+SERIALIZATION_DIR=@SERIALIZATION_DIR@