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=515c1195a3b3ff86bf002091b4535bc812aa40ea;hp=eb286113204c836a433f2e2e02f760131998bb67;hpb=02bc1a8c06b2d2c5169c9f1beecf9daa94a85247;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@