diff --git a/pysdd/lib/libsdd-2.0/include/sdd.h b/pysdd/lib/libsdd-2.0/include/sdd.h
index 43ae0dc..a391133 100644
--- a/pysdd/lib/libsdd-2.0/include/sdd.h
+++ b/pysdd/lib/libsdd-2.0/include/sdd.h
@@ -30,7 +30,7 @@ typedef size_t SddNodeSize; //size of decomposition for sdd nodes
 typedef size_t SddRefCount; //refcount
 typedef unsigned long long SddModelCount; //model count
 typedef double SddWmc; // weighted model count
-typedef long SddLiteral; //literals of clauses
+typedef long long SddLiteral; //literals of clauses
 
 //control strings
 #define PRIsS "zu"
diff --git a/pysdd/lib/libsdd-2.0/sddapi.h b/pysdd/lib/libsdd-2.0/sddapi.h
index dfb7284..0aee9be 100644
--- a/pysdd/lib/libsdd-2.0/sddapi.h
+++ b/pysdd/lib/libsdd-2.0/sddapi.h
@@ -27,7 +27,7 @@ typedef size_t SddNodeSize; //size of decomposition for sdd nodes
 typedef size_t SddRefCount; //refcount
 typedef unsigned long long SddModelCount; //model counts
 typedef double SddWmc; // weighted model count
-typedef long SddLiteral; //literals of clauses
+typedef long long SddLiteral; //literals of clauses
 
 //control strings
 #define PRIsS "zu"
diff --git a/pysdd/lib/libsdd-2.0/src/sdds/exists_multiple.c b/pysdd/lib/libsdd-2.0/src/sdds/exists_multiple.c
index 84c23b8..dc7f583 100644
--- a/pysdd/lib/libsdd-2.0/src/sdds/exists_multiple.c
+++ b/pysdd/lib/libsdd-2.0/src/sdds/exists_multiple.c
@@ -32,7 +32,7 @@ static void deref_nodes_of_terminal_shadows(SddShadows* shadows);
 //exists_map[var]  : is 1 if var is to be existentially quantified, 0 otherwise
 //exists_map[0]    : not used
 
-static long ref_count; //sanity check
+static long long ref_count; //sanity check
 
 SddNode* sdd_exists_multiple(int* exists_map, SddNode* node, SddManager* manager) {
   CHECK_ERROR(GC_NODE(node),ERR_MSG_GC,"sdd_exists_multiple");
diff --git a/pysdd/lib/sdd-2.0/include/sddapi.h b/pysdd/lib/sdd-2.0/include/sddapi.h
index ee92c2e..c79afcb 100644
--- a/pysdd/lib/sdd-2.0/include/sddapi.h
+++ b/pysdd/lib/sdd-2.0/include/sddapi.h
@@ -27,7 +27,7 @@ typedef size_t SddNodeSize; //size of decomposition for sdd nodes, changed to si
 typedef size_t SddRefCount; //refcount, changed to size_t for cross-platform compatibility
 typedef unsigned long long SddModelCount; //model counts
 typedef double SddWmc; // weighted model count
-typedef long SddLiteral; //literals of clauses
+typedef long long SddLiteral; //literals of clauses
 typedef char SddNodeType; //holds one of two values defined next
 
 //control strings