From d2a4b9d6b69e02dd21347c1160a0a7bbeffd1c08 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Mon, 30 Aug 2010 21:51:44 -0500
Subject: [PATCH] div operator

---
 C/init.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/C/init.c b/C/init.c
index 272a9fa95..adfc7a66c 100755
--- a/C/init.c
+++ b/C/init.c
@@ -23,6 +23,7 @@ static char     SccsId[] = "%W% %G%";
  *
  */
 
+#include <stdlib.h>
 #include "Yap.h"
 #include "yapio.h"
 #include "alloc.h"
@@ -408,6 +409,7 @@ static Opdef    Ops[] = {
   {"#", yfx, 500},
   {"xor", yfx, 400},
   {"rdiv", yfx, 400},
+  {"div", yfx, 400},
   {"*", yfx, 400},
   {"/", yfx, 400},
   {"//", yfx, 400},