one more optimization in ehrhart: fixed size to 1 if parameter doespolylib5.10
treebd3ad584c6a837dc41a4c29412031a74b1085562
drwxr-xr-x - ArithLib
-rw-r--r-- 12951 Makefile
drwxr-xr-x - Test
-rwxr-xr-x 26702 config.guess
-rwxr-xr-x 19814 config.sub
-rwxr-xr-x 61597 configure
-rw-r--r-- 10814 configure.in
drwxr-xr-x - doc
drwxr-xr-x - include
-rwxr-xr-x 2340 install-sh
-rwxr-xr-x 726 mkinstalldirs
drwxr-xr-x - source
-rw-r--r-- 4399 vars.mk
-rw-r--r-- 4369 vars.mk.in