=================================================================== RCS file: /home/cvs/OpenXM/src/ox_python/assert2.rr,v retrieving revision 1.1 retrieving revision 1.2 diff -u -p -r1.1 -r1.2 --- OpenXM/src/ox_python/assert2.rr 2021/12/31 08:11:54 1.1 +++ OpenXM/src/ox_python/assert2.rr 2021/12/31 08:12:42 1.2 @@ -1,3 +1,4 @@ +/* $OpenXM$ */ pari(nextprime,10)$ if (Pid == 0) { Pid=ox_launch(0,getenv("OpenXM_HOME")+"/src/ox_python/ox_python")$