diff --git a/dragonegg/src/Convert.cpp b/dragonegg/src/Convert.cpp
index 00cab6b..0582bae 100644
--- a/dragonegg/src/Convert.cpp
+++ b/dragonegg/src/Convert.cpp
@@ -2802,6 +2802,20 @@
     Client.clear();
   }
 
+  // If the caller and callee disagree about a parameter type but the difference
+  // is trivial, correct the type used by the caller.
+  for (unsigned i = 0, e = std::min((unsigned)CallOperands.size(),
+                                    FTy->getNumParams());
+       i != e; ++i) {
+    Type *ExpectedTy = FTy->getParamType(i);
+    Type *ActualTy = CallOperands[i]->getType();
+    if (ActualTy == ExpectedTy)
+      continue;
+    assert(isa<PointerType>(ActualTy) && isa<PointerType>(ExpectedTy) &&
+           "Type difference is not trivial!");
+    CallOperands[i] = Builder.CreateBitCast(CallOperands[i], ExpectedTy);
+  }
+
   // Unlike LLVM, GCC does not require that call statements provide a value for
   // every function argument (it passes rubbish for arguments with no value).
   // To get the same effect we pass 'undef' for any unspecified arguments.