Add cast since older csv version.

2015-12-17 10:46:51 +01:00
parent 99a0f5a67c
commit 04583789cb
3 changed files with 2 additions and 3 deletions
--- a/.settings/org.eclipse.jdt.core.prefs
+++ b/.settings/org.eclipse.jdt.core.prefs
@ -1,5 +1,5 @@
 #
-#Mon Dec 14 16:07:41 CET 2015
+#Thu Dec 17 10:45:31 CET 2015
 org.eclipse.jdt.core.compiler.debug.localVariable=generate
 org.eclipse.jdt.core.compiler.compliance=1.8
 org.eclipse.jdt.core.compiler.codegen.unusedLocal=preserve