--- src/analyze.cpp.orig	2019-06-06 00:37:51.000000000 -0600
+++ src/analyze.cpp	2019-06-12 20:24:52.020342137 -0600
@@ -281,9 +281,9 @@ void Internal::clear_analyzed_levels ()
 struct analyze_trail_negative_rank {
   Internal * internal;
   analyze_trail_negative_rank (Internal * s) : internal (s) { }
-  size_t operator () (int a) {
+  uint64_t operator () (int a) {
     Var & v = internal->var (a);
-    size_t res = v.level;
+    uint64_t res = v.level;
     res <<= 32;
     res |= v.trail;
     return ~res;
--- src/checker.cpp.orig	2019-06-06 00:37:51.000000000 -0600
+++ src/checker.cpp	2019-06-12 20:26:14.590255234 -0600
@@ -514,7 +514,7 @@ void Checker::delete_clause (const vecto
       garbage = d;
       d->size = 0;
       // If there are enough garbage clauses collect them.
-      if (num_garbage > 0.5 * max (size_clauses, (size_t) size_vars))
+      if (num_garbage > 0.5 * max (size_clauses, (uint64_t) size_vars))
         collect_garbage_clauses ();
     } else {
       internal->fatal_message_start ();